Index of /infosrv/dtet2r2.3

 Name                    Last modified       Size  Description

 Parent Directory        03-Jun-1997 08:17      -  
 README                  22-Jun-1998 15:50     1k  
 doc/                    14-Mar-1996 12:25      -  
 docPS.cpio.Z            08-Mar-1995 17:36   609k  
 docsrc.cpio.Z           08-Mar-1995 17:36   287k  
 src.cpio.Z              08-Mar-1995 17:36   615k