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