| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| tex.cms-changes | 62123 | 1986-Aug-08 00:00 |
| tex.mvs-changes | 20856 | 1984-Jul-10 00:00 |
| tex.tops10-changes | 36635 | 1986-Mar-20 00:00 |
| tex.tops20-changes | 46641 | 1988-Jul-12 00:00 |
| tex.vms-changes | 34297 | 1988-Mar-14 00:00 |