| File Name ↓ | File Size ↓ | Date ↓ |
|---|
| Parent directory/ | - | - |
| tftopl.tops10-changes | 53 B | Mar 4, 1984 |
| pltotf.tops10-changes | 57 B | Mar 4, 1984 |
| pooltype.cms-changes | 431 B | Aug 8, 1986 |
| tftopl.tops20-changes | 817 B | Mar 4, 1985 |
| pltotf.tops20-changes | 821 B | Aug 4, 1985 |
| pltotf.cms-changes | 1.5 KiB | Aug 8, 1986 |
| dvitype.tops20-changes | 1.7 KiB | Nov 19, 1987 |
| tftopl.cms-changes | 2.3 KiB | Aug 8, 1986 |
| dvitype.tops10-changes | 2.8 KiB | Mar 4, 1984 |
| pooltype.vms-changes | 4.5 KiB | Dec 3, 1983 |
| pltotf.vms-changes | 5.0 KiB | Aug 4, 1985 |
| tftopl.vms-changes | 5.3 KiB | Mar 13, 1986 |
| dvitype.cms-changes | 7.5 KiB | Aug 8, 1986 |
| dviimp.tops20-changes | 11.1 KiB | Nov 19, 1987 |
| dvitype.vms-changes | 12.7 KiB | Mar 14, 1988 |
| dviimp.web | 161.9 KiB | Nov 19, 1987 |