download all originals (max 1 GB)| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| detex25a.zip | PKZip Archive | 1 | 143.2 KB | 1993-07-23 |
| dvidvi.zip | PKZip Archive | 19 | 57.4 KB | 1992-08-30 |
| dvips551.zip | PKZip Archive | 3 | 503.4 KB | 1993-08-07 |
| dvips552.zip | PKZip Archive | 3 | 786.6 KB | 1994-01-13 |
| dvips554.zip | PKZip Archive | 3 | 579.0 KB | 1994-03-06 |
| dvips55s.zip | PKZip Archive | 4 | 338.9 KB | 1993-08-07 |
| dvipssrc.zip | PKZip Archive | 1 | 615.4 KB | 1994-03-06 |
| lachec18.zip | PKZip Archive | 5 | 59.8 KB | 1993-08-07 |
| pmtex.zip | PKZip Archive | 4 | 48.9 KB | 1992-12-25 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| 00_index.txt | File List | 10 | 384 b | 1994-07-05 |
| descript.ion | Text File | 10 | 349 b | 1994-09-15 |
| files.bbs | File List | 15 | 528 b | 1994-09-15 |
| wildcat.txt | Text File | 10 | 363 b | 1994-09-15 |