../ disktcl1 07-May-1996 14:00 548 maketag 16-Mar-1997 15:00 1103 maketag.ez 16-Mar-1997 15:00 1103 tagfile 24-May-1996 14:00 1593 tagfile.org 24-May-1996 14:00 1593 tcl.tgz 10-Jun-1996 14:00 475242 tk.tgz 07-May-1996 14:00 785604