../ diskd1 24-May-2002 16:07 787 gcc.tgz 24-May-2002 16:07 270 gxx.tgz 24-May-2002 16:07 211 maketag 24-May-2002 16:07 2339 tagfile 24-May-2002 16:07 1932 tagfile.org 24-May-2002 16:07 1932 tagfile.pat 24-May-2002 16:07 378 tools.tgz 24-May-2002 16:07 203