Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - txfontsdoc.pdf 2001-02-28 21:26 403K txfontsdocA4.pdf 2001-02-28 21:26 402K txfontsdoc.tex 2001-01-03 06:33 40K txfontsdocA4.tex 2001-01-03 06:19 39K