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 test-freeze.tex 2015-01-18 09:31 780 autonum.ins 2015-01-18 09:31 2.3K test-autonum.tex 2015-01-18 09:31 13K autonum.dtx 2015-01-18 09:31 67K test-autonum.pdf 2015-01-18 09:31 101K autonum.pdf 2015-01-18 09:31 288K