Index of /infosrv/TET/tet1.10

      Name                    Last modified       Size  Description


[DIR] Parent Directory        03-Jun-1997 08:17      -  
[   ] README                  03-Jun-1997 08:33     3k  
[CMP] Rel1.10.tar.Z           08-Mar-1995 17:34   209k  
[   ] help                    08-Mar-1995 17:28     6k  
[CMP] pgde1.7.ps.Z            08-Mar-1995 17:34   290k  
[CMP] tet1.10.tar.Z           08-Mar-1995 17:34   215k  
[CMP] tetspec.ps.Z            08-Jun-1995 16:28   134k
Apache/1.3.37 Server at www5.opengroup.org Port 80