| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| dvidvi.zip | PKZip Archive | 19 | 59KB | 1993-10-29 |
| dvips551.zip | PKZip Archive | 3 | 516KB | 1993-10-29 |
| dvips55s.zip | PKZip Archive | 4 | 347KB | 1993-10-29 |
| lachec18.zip | PKZip Archive | 5 | 61KB | 1993-10-29 |
| pmtex.zip | PKZip Archive | 4 | 50KB | 1993-10-29 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| files.bbs | File List | 9 | 620b | 1995-03-26 |
| i_ | Text File | 7 | 750b | 1995-03-26 |