Name Last modified Size Parent Directory - txfontsdocA4.tex 2001-01-03 14:19 39K txfontsdoc.tex 2001-01-03 14:33 40K txfontsdocA4.pdf 2001-03-01 05:26 402K txfontsdoc.pdf 2001-03-01 05:26 403K