![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | 08-Nov-11 15:34 | - | |
| AS.9 | 02-Jun-96 17:31 | 13K | |
| AWK.9 | 20-May-96 21:59 | 8569 | |
| DE.9 | 12-Feb-96 22:04 | 13K | |
| DIS88.9 | 19-Sep-96 09:42 | 3496 | |
| ELLE.9 | 12-Feb-96 22:06 | 16K | |
| ELVIS.9 | 20-Sep-96 00:03 | 37K | |
| INDENT.9 | 12-Feb-96 22:08 | 10K | |
| KERMIT.9 | 21-May-96 22:19 | 3987 | |
| M4.9 | 12-Feb-96 22:09 | 8303 | |
| MINED.9 | 12-Feb-96 22:11 | 6316 | |
| ROFF.9 | 08-Jan-93 10:19 | 4190 |