![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README | 17-Feb-1993 20:30 | 867 | |
| batch/ | 11-Dec-1997 14:57 | - | |
| bugs/ | 11-Dec-1997 23:14 | - | |
| examples/ | 11-Dec-1997 14:57 | - | |
| man1/ | 11-Dec-1997 14:57 | - | |
| manual/ | 11-Dec-1997 14:57 | - | |
| map | 17-Feb-1993 16:30 | 1.1K | |
| papers/ | 11-Dec-1997 14:57 | - | |
| release-notes/ | 11-Dec-1997 14:57 | - | |