Filename Modification time Size dvitype.1 1989-10-21 19:07 CET 1180 B gftodvi.1 1989-10-21 19:09 CET 2722 B gftopk.1 1989-10-21 19:09 CET 1188 B gftype.1 1989-10-21 19:14 CET 1196 B mf.1 1989-10-20 03:15 CET 13 KiB mft.1 1989-10-21 19:11 CET 1949 B pktype.1 1989-10-21 18:59 CET 1142 B pltotf.1 1989-10-21 19:12 CET 839 B pooltype.1 1989-10-21 19:13 CET 552 B tangle.1 1989-10-22 01:28 CET 3390 B tex.1 1989-10-30 05:13 CET 6513 B tftopl.1 1989-10-21 19:05 CET 933 B vftovp.1 1989-12-31 08:07 CET 791 B vptovf.1 1989-12-31 08:14 CET 848 B weave.1 1989-10-22 01:28 CET 3390 B web.1 1989-10-22 01:28 CET 3390 B
