Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2008-04-07 22:05 4.5K minipage-marginpar.dtx 2008-04-07 22:05 14K minipage-marginpar.ins 2008-04-07 22:05 2.1K minipage-marginpar.sty 2008-04-07 22:05 2.3K mpgmpar.sty 2008-04-07 22:05 1.4K minipage-marginpar.pdf 2008-04-07 22:05 193K