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