![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BUGS | 31-Jul-1995 14:29 | 1.5K | |
| CHANGES | 06-Aug-1995 16:38 | 21K | |
| CONTRIBUTORS | 09-Aug-1995 18:22 | 1.6K | |
| COPYRIGHT | 05-Apr-1996 15:10 | 1.2K | |
| INSTALL | 31-Jul-1995 17:16 | 7.9K | |
| MACHINES | 26-Sep-1996 17:37 | 11K | |
| MIGRATE | 03-Aug-1995 13:40 | 8.2K | |
| PATCHLEVEL | 24-Sep-1996 13:06 | 2 | |
| ROADMAP | 31-Jul-1995 14:23 | 5.5K | |
| TODO | 27-Jul-1995 15:20 | 1.9K | |
| config/ | 11-Apr-1997 14:56 | - | |
| doc/ | 04-Dec-1995 11:56 | - | |
| examples/ | 04-Dec-1995 11:59 | - | |
| include/ | 26-Sep-1996 17:12 | - | |
| lib/ | 04-Dec-1995 11:57 | - | |
| patches/ | 11-Apr-1997 14:57 | - | |
| scm/ | 26-Sep-1996 17:16 | - | |
| scripts/ | 26-Sep-1996 17:12 | - | |
| src/ | 28-Oct-1996 15:04 | - | |
| util/ | 04-Dec-1995 12:00 | - | |