Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2008-03-13 18:25 1.0K show2e.sty 2008-03-13 17:43 1.7K show2e.pdf 2008-03-13 17:43 45K show2e.dtx 2008-03-13 17:43 11K show2e-fr.pdf 2008-03-13 17:43 36K