| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| dviimp.tops20-changes | 1987/11/19 00:00:00 | 11388 |
| dviimp.web | 1987/11/19 00:00:00 | 165760 |
| dvitype.cms-changes | 1986/08/08 00:00:00 | 7728 |
| dvitype.tops10-changes | 1984/03/04 00:00:00 | 2869 |
| dvitype.tops20-changes | 1987/11/19 00:00:00 | 1788 |
| dvitype.vms-changes | 1988/03/14 00:00:00 | 12984 |
| pltotf.cms-changes | 1986/08/08 00:00:00 | 1563 |
| pltotf.tops10-changes | 1984/03/04 00:00:00 | 57 |
| pltotf.tops20-changes | 1985/08/04 00:00:00 | 821 |
| pltotf.vms-changes | 1985/08/04 00:00:00 | 5102 |
| pooltype.cms-changes | 1986/08/08 00:00:00 | 431 |
| pooltype.vms-changes | 1983/12/03 00:00:00 | 4561 |
| tftopl.cms-changes | 1986/08/08 00:00:00 | 2337 |
| tftopl.tops10-changes | 1984/03/04 00:00:00 | 53 |
| tftopl.tops20-changes | 1985/03/04 00:00:00 | 817 |
| tftopl.vms-changes | 1986/03/13 00:00:00 | 5396 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.