![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| gftopxl.tops20-changes | 1985-11-19 17:00 | 423 |
| gftype.vms-changes | 1986-03-12 17:00 | 8.2K |
| gftodvi.vms-changes | 1986-03-19 17:00 | 13K |
| gftodvi.tops20-changes | 1986-06-09 18:00 | 6.2K |
| gftopxl.vms-changes | 1986-06-09 18:00 | 11K |
| gftype.tops20-changes | 1986-07-09 18:00 | 2.5K |
| gftodvi.cms-changes | 1986-08-07 18:00 | 15K |
| gftopxl.cms-changes | 1986-08-07 18:00 | 9.3K |
| gftype.cms-changes | 1986-08-07 18:00 | 5.0K |
| gftopxl.web | 1987-06-09 18:00 | 56K |
| pktopx.tops20-changes | 1987-11-18 17:00 | 5.3K |
| pktype.tops20-changes | 1987-11-18 17:00 | 1.5K |
| pxtopk.tops20-changes | 1987-11-18 17:00 | 8.0K |
| pktopx.web | 1987-11-30 17:00 | 49K |
| pxtopk.web | 1987-11-30 17:00 | 63K |
| gftopk.tops20-changes | 1987-12-14 17:00 | 5.3K |
| pktogf.tops20-changes | 1988-04-06 18:00 | 4.0K |
| gfread.tops20-changes | 1988-07-10 18:00 | 5.0K |
| gfread.web | 1988-07-10 18:00 | 50K |
| pktype.web | 1989-10-20 18:00 | 46K |
| pktogf.web | 1991-03-27 17:00 | 69K |