![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| continuation | 10-May-1987 18:09 | 35K | |
| docfiles | 22-May-1995 11:39 | 903 | |
| index | 29-Jun-2009 03:46 | 924 | |
| man/ | 18-Jan-1990 04:39 | - | |
| sysspec | 19-Oct-1993 14:10 | 32K | |
| vedmanual | 26-Mar-1992 17:28 | 156K | |
| veduserguide | 21-Mar-1990 20:38 | 110K | |