Name Last modified Size Description Parent Directory - texfont.tgz 1994-07-21 18:49 777K 00index.txt 1994-07-21 18:49 130 texams.tgz 1994-07-21 18:49 388K install.end 1994-07-21 18:49 4 diskt5 1994-07-21 18:49 238