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