Name Last modified Size Description
Parent Directory - diskt1 1999-07-18 19:00 2.0K install.end 1999-09-28 19:00 457 maketag 1999-03-10 18:00 1.3K maketag.ez 1999-03-10 18:00 1.3K tagfile 1999-03-10 18:00 61 tagfile.org 1999-03-10 18:00 61 tetex.tgz 1999-09-26 19:00 18M tex_bin.tgz 1999-07-18 19:00 3.0M tex_doc.tgz 1999-07-18 19:00 15M transfig.tgz 1999-07-18 19:00 137K xfig.tgz 1999-07-18 19:00 1.5M