![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | tex.tops20-changes | 1988-07-12 02:00 | 46K |
| tex.vms-changes | 1988-03-14 01:00 | 33K |
| tex.cms-changes | 1986-08-08 02:00 | 61K |
| tex.tops10-changes | 1986-03-20 01:00 | 36K |
| tex.mvs-changes | 1984-07-10 02:00 | 20K |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| tex.tops20-changes | 1988-07-12 02:00 | 46K |
| tex.vms-changes | 1988-03-14 01:00 | 33K |
| tex.cms-changes | 1986-08-08 02:00 | 61K |
| tex.tops10-changes | 1986-03-20 01:00 | 36K |
| tex.mvs-changes | 1984-07-10 02:00 | 20K |