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