Name                    Last modified       Size  Description

 Parent Directory        05-Dec-2002 06:43      -  
 pooltype.vms-changes    03-Dec-1983 00:00     4k  
 dvitype.tops10-changes  04-Mar-1984 00:00     3k  
 pltotf.tops10-changes   04-Mar-1984 00:00     1k  
 tftopl.tops10-changes   04-Mar-1984 00:00     1k  
 tftopl.tops20-changes   04-Mar-1985 00:00     1k  
 pltotf.tops20-changes   04-Aug-1985 00:00     1k  
 pltotf.vms-changes      04-Aug-1985 00:00     5k  
 tftopl.vms-changes      13-Mar-1986 00:00     5k  
 dvitype.cms-changes     08-Aug-1986 00:00     8k  
 pltotf.cms-changes      08-Aug-1986 00:00     2k  
 pooltype.cms-changes    08-Aug-1986 00:00     1k  
 tftopl.cms-changes      08-Aug-1986 00:00     2k  
 dviimp.tops20-changes   19-Nov-1987 00:00    11k  
 dviimp.web              19-Nov-1987 00:00   162k  
 dvitype.tops20-changes  19-Nov-1987 00:00     2k  
 dvitype.vms-changes     14-Mar-1988 00:00    13k  
 patgen.web              05-Nov-1996 00:00    75k