| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| tex.cms-changes | 60.7 KiB | 1986-Aug-08 09:00 |
| tex.mvs-changes | 20.4 KiB | 1984-Jul-10 09:00 |
| tex.tops10-changes | 35.8 KiB | 1986-Mar-20 09:00 |
| tex.tops20-changes | 45.5 KiB | 1988-Jul-12 09:00 |
| tex.vms-changes | 33.5 KiB | 1988-Mar-14 09:00 |