| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| tex.e | Texinfo Document | 82KB | 1995-09-18 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| mymnuini.add | Text File | 123 | 5KB | 1995-09-15 |
| mystuff.add | Text File | 27 | 1KB | 1995-09-15 |
| readme.pro | Text File | 441 | 19KB | 1995-09-22 |
| texcnf.smp | Text File | 115 | 8KB | 1995-09-27 |
| texdefs.e | Text File | 308 | 10KB | 1995-08-27 |
| texkeys.e | Text File | 202 | 7KB | 1995-09-15 |