Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Auto1.dtx 2010-05-12 00:06 38K Auto1.ins 2010-05-12 00:06 2.1K ltxdoc.cfg 2010-05-12 12:41 38 Auto1.bib 2010-05-12 12:42 704 Makefile 2010-05-12 12:43 1.0K