| File | Size | Date |
|---|---|---|
| README.index | 213 | 1993-06-19 |
| commands | dir | |
| examples | dir | |
| mkfile | 856 | 1993-06-19 |
| monk.cite | 310 | 1993-06-19 |
| monk | 286 | 1993-06-19 |
| monk.ind | 2552 | 1993-06-19 |
| monk.m | 58003 | 1993-06-19 |
| monk.m.pg | 3 | 1993-06-19 |
| monk.mac | 7290 | 1993-06-19 |
| monk.out | 211336 | 1993-06-19 |
| monk.sed | 188 | 1993-06-19 |
| oexamples | dir | |
| omonk.m | 56440 | 1993-06-19 |
| osamples | dir | |
| prefer.sed | 153 | 1993-06-19 |
| samples | dir | |
| xmonk.m | 84047 | 1993-06-19 |
| xmonk.terms | 1389 | 1993-06-19 |
| xxmonk.m | 85318 | 1993-06-19 |