../ diskap1 25-May-2002 00:07 1768 jove.tgz 25-May-2002 00:07 464 maketag 25-May-2002 00:07 2463 man.tgz 25-May-2002 00:07 1597 tagfile 25-May-2002 00:07 1962 tagfile.org 25-May-2002 00:07 1962 tagfile.pat 25-May-2002 00:07 406 termbin.tgz 25-May-2002 00:07 1011 termnet.tgz 25-May-2002 00:07 297 termsrc.tgz 25-May-2002 00:07 1431