| File Name ↓ | File Size ↓ | Date ↓ |
| Parent directory/ | - | - |
| gfread.tops20-changes | 5.0 KiB | Jul 11, 1988 |
| gfread.web | 49.8 KiB | Jul 11, 1988 |
| gftodvi.cms-changes | 14.8 KiB | Aug 8, 1986 |
| gftodvi.tops20-changes | 6.2 KiB | Jun 10, 1986 |
| gftodvi.vms-changes | 13.4 KiB | Mar 20, 1986 |
| gftopk.tops20-changes | 5.3 KiB | Dec 15, 1987 |
| gftopxl.cms-changes | 9.3 KiB | Aug 8, 1986 |
| gftopxl.tops20-changes | 423 B | Nov 20, 1985 |
| gftopxl.vms-changes | 11.4 KiB | Jun 10, 1986 |
| gftopxl.web | 56.0 KiB | Jun 10, 1987 |
| gftype.cms-changes | 5.0 KiB | Aug 8, 1986 |
| gftype.tops20-changes | 2.5 KiB | Jul 10, 1986 |
| gftype.vms-changes | 8.2 KiB | Mar 13, 1986 |
| pktogf.tops20-changes | 4.0 KiB | Apr 7, 1988 |
| pktogf.web | 68.9 KiB | Mar 28, 1991 |
| pktopx.tops20-changes | 5.3 KiB | Nov 19, 1987 |
| pktopx.web | 48.9 KiB | Dec 1, 1987 |
| pktype.tops20-changes | 1.5 KiB | Nov 19, 1987 |
| pktype.web | 46.1 KiB | Oct 21, 1989 |
| pxtopk.tops20-changes | 8.0 KiB | Nov 19, 1987 |
| pxtopk.web | 62.9 KiB | Dec 1, 1987 |