Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2015-01-18 09:31 687 autonum.dtx 2015-01-18 09:31 67K autonum.ins 2015-01-18 09:31 2.3K autonum.pdf 2015-01-18 09:31 288K test-autonum.pdf 2015-01-18 09:31 101K test-autonum.tex 2015-01-18 09:31 13K test-freeze.tex 2015-01-18 09:31 780