Index of /infosrv/TET

      Name                    Last modified       Size  Description


[DIR] Parent Directory        20-Dec-2004 09:36      -  
[DIR] TET3/                   15-Mar-2006 14:05      -  
[DIR] dtet2r2.3/              03-Jun-1997 08:17      -  
[DIR] eTET/                   03-Jun-1997 08:17      -  
[DIR] tet1.10/                03-Jun-1997 08:33      -
Apache/1.3.37 Server at www.opengroup.org Port 80