../ disktcl1 24-May-2002 16:07 548 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 364K tk.tgz 24-May-2002 16:07 713K