../ txfontsdoc.pdf 28-Feb-2001 20:26 403K txfontsdoc.tex 03-Jan-2001 05:33 40K txfontsdocA4.pdf 28-Feb-2001 20:26 402K txfontsdocA4.tex 03-Jan-2001 05:19 39K