![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/bomb.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Modula-3/ | 23-Sep-1996 08:39 | - | |
| core | 13-Aug-2002 14:20 | 8.7M | |
| dcpi/ | 10-Mar-2000 11:07 | - | |
| hypertext/ | 19-Apr-1996 10:47 | - | |
| publications/ | 11-Mar-2002 11:21 | - | |
| research-reports/ | 23-Jan-2002 11:48 | - | |
| technical-notes/ | 14-May-2002 16:57 | - | |
| x2x/ | 13-Oct-1997 22:06 | - | |