| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| color.pro | Text File | 48 | 3KB | 1994-06-07 |
| config.ps | Text File | 63 | 1KB | 1994-06-07 |
| crop.pro | Text File | 7 | 315b | 1994-06-07 |
| finclude.pro | Text File | 5 | 204b | 1994-06-07 |
| psfonts.map | Text File | 86 | 3KB | 1994-06-07 |
| special.pro | Text File | 57 | 4KB | 1994-06-07 |
| tex.pro | Text File | 48 | 3KB | 1994-06-07 |
| texc.pro | Text File | 60 | 4KB | 1994-06-07 |
| texps.pro | Text File | 12 | 633b | 1994-06-07 |