../ diskt7 06-Feb-1997 08:00 751 te-bin1.tgz 26-Sep-1996 07:00 714689 tf-misc.tgz 26-Sep-1996 07:00 402677 tm-xypic.tgz 26-Sep-1996 07:00 188806