../ disktcl1 24-May-2002 16:07 552 maketag 24-May-2002 16:07 1072 tagfile 24-May-2002 16:07 1868 tagfile.org 24-May-2002 16:07 1868 tagfile.pat 24-May-2002 16:07 1868 tcl.tgz 24-May-2002 16:07 2485 tk.tgz 24-May-2002 16:07 29917