| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| CHANGES | 11K | 18-Jan-1994 00:00 |
| COPYING | 15K | 18-Jan-1994 00:00 |
| README | 4270 | 18-Jan-1994 00:00 |
| chkscr.pl | 618 | 18-Jan-1994 00:00 |
| texit.pl | 80K | 18-Jan-1994 00:00 |
| texit.tex | 24K | 18-Jan-1994 00:00 |
| texitrc.os2 | 1764 | 18-Jan-1994 00:00 |
| texitrc.unx | 7272 | 18-Jan-1994 00:00 |