Index of /infosrv/dtet2r2.3/doc

      Name                    Last modified       Size  Description


[DIR] Parent Directory        03-Jun-1997 08:17      -  
[DIR] dtet2/                  14-Mar-1996 12:26      -  
[DIR] xpg3sh/                 14-Mar-1996 12:25      -
Apache/1.3.37 Server at www5.opengroup.org Port 80