../ diskt1 19-Jul-1999 06:00 2069 install.end 29-Sep-1999 06:00 457 maketag 11-Mar-1999 07:00 1285 maketag.ez 11-Mar-1999 07:00 1285 tagfile 11-Mar-1999 07:00 61 tagfile.org 11-Mar-1999 07:00 61 tetex.tgz 27-Sep-1999 06:00 18M tex_bin.tgz 19-Jul-1999 06:00 3M tex_doc.tgz 19-Jul-1999 06:00 15M transfig.tgz 19-Jul-1999 06:00 137K xfig.tgz 19-Jul-1999 06:00 1M