| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| tex.cms-changes | 60.7 KiB | 1986-08-07 19:00:00 UTC+09:00 |
| tex.mvs-changes | 20.4 KiB | 1984-07-09 19:00:00 UTC+09:00 |
| tex.tops10-changes | 35.8 KiB | 1986-03-19 19:00:00 UTC+09:00 |
| tex.tops20-changes | 45.5 KiB | 1988-07-11 19:00:00 UTC+09:00 |
| tex.vms-changes | 33.5 KiB | 1988-03-13 19:00:00 UTC+09:00 |