![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| OldFiles/ | 1996-05-15 17:14 | - | |
| ali/ | 1996-06-05 22:08 | - | |
| geoffl/ | 1999-07-22 09:40 | - | |
| gyl/ | 1996-08-27 13:55 | - | |
| src/ | 1996-02-17 21:29 | - | |
| suif/ | 1995-06-15 13:55 | - | |
| trg/ | 1995-09-22 11:39 | - | |
| triangle/ | 1995-12-13 14:04 | - | |