Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - README 2007-03-07 05:50 1.7K changes 2007-03-07 06:03 454 octavo.dtx 2007-03-07 04:59 103K octavo.ins 2007-03-07 04:54 2.0K tub-octavo.pdf 2007-03-07 07:56 183K