![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README | 1997-02-20 08:53 | 307 | |
| cls/ | 1996-03-11 04:45 | - | |
| cpm/ | 1997-02-25 11:00 | - | |
| cps/ | 1997-02-27 16:06 | - | |
| cxm/ | 1997-02-28 09:12 | - | |
| debruijn/ | 1996-02-28 06:40 | - | |
| debruijn1/ | 1997-02-12 10:48 | - | |
| extra/ | 1996-03-11 04:44 | - | |