Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2000-02-18 01:00 898 isorot.ins 2000-02-17 01:00 1.9K rotman.tex 2000-02-18 01:00 28K isorot.dtx 2000-02-18 01:00 47K rotman.pdf 2000-02-18 01:00 165K