download all originals (max 1 GB)| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| TEXCM.TGZ | GZip archive | 1 | 161.4 KB | 1994-05-06 |
| TEXLIBIB.TGZ | GZip archive | 1 | 430.8 KB | 1994-05-06 |
| TEXLIBMS.TGZ | GZip archive | 1 | 507.7 KB | 1994-05-06 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| DISKT4 | Text File | 35 | 395 b | 1994-05-06 |