![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| indexsed | 1986-04-30 00:00 | 237 | |
| fixmks.sed | 1986-04-30 00:00 | 321 | |
| mantags | 1986-04-30 00:00 | 324 | |
| extrnames.awk | 1986-04-30 00:00 | 396 | |
| ch61.n | 1986-04-30 00:00 | 412 | |
| tmacs | 1986-05-14 00:00 | 3.6K | |
| lmacs | 1986-05-14 00:00 | 3.7K | |
| ch17.n | 1986-05-14 00:00 | 4.1K | |
| chc.n | 1986-04-30 00:00 | 4.5K | |
| ch0.n | 1986-05-11 00:00 | 5.3K | |
| chb.n | 1986-05-11 00:00 | 6.4K | |
| ch15.n | 1986-05-14 00:00 | 6.5K | |
| Makefile | 1986-05-14 00:00 | 6.7K | |
| ch14.n | 1986-05-14 00:00 | 6.8K | |
| ch10.n | 1986-05-14 00:00 | 8.2K | |
| ch11.n | 1986-04-30 00:00 | 8.7K | |
| ch3.n | 1986-05-14 00:00 | 9.5K | |
| ch13.n | 1986-05-14 00:00 | 11K | |
| ch9.n | 1986-05-14 00:00 | 13K | |
| ch1.n | 1986-05-14 00:00 | 14K | |
| ch5.n | 1986-04-30 00:00 | 19K | |
| ch7.n | 1986-05-14 00:00 | 19K | |
| ch6.n | 1986-04-30 00:00 | 21K | |
| ch12.n | 1986-04-30 00:00 | 22K | |
| ch8.n | 1986-05-14 00:00 | 26K | |
| ch4.n | 1986-05-14 00:00 | 34K | |
| ch16.n | 1986-05-14 00:00 | 36K | |
| ch2.n | 1986-05-14 00:00 | 42K | |
| franz.n | 1986-04-30 00:00 | 56K | |