Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - tub-octavo.pdf 2007-03-07 08:56 183K changes 2007-03-07 07:03 454 README 2007-03-07 06:50 1.7K octavo.dtx 2007-03-07 05:59 103K octavo.ins 2007-03-07 05:54 2.0K