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