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