../ diskt1 14-Oct-2001 11:13 2023 install.end 21-Sep-2000 04:12 457 maketag 10-Mar-2002 22:48 1577 maketag.ez 09-Mar-2002 13:27 1577 tagfile 14-Oct-2001 11:13 1541 tagfile.org 14-Oct-2001 11:13 1541 tetex.tgz 07-Dec-2000 16:44 19552635 tex_bin.tgz 07-Dec-2000 16:46 3702419 tex_doc.tgz 07-Dec-2000 16:47 16091586 transfig.tgz 16-Feb-2001 00:35 187500 xfig.tgz 16-Feb-2001 02:26 1829976