../ Makefile 09-Aug-1993 11:00 1650 gftodvi.ch 09-Aug-1993 11:00 27328 gftodvi.web 09-Aug-1993 11:00 186555 gftopk.ch 09-Aug-1993 11:00 15637 gftopk.web 09-Aug-1993 11:00 92060 gftype.ch 09-Aug-1993 11:00 13334 gftype.web 09-Aug-1993 11:00 54857 memory.h 09-Aug-1993 11:00 179 mft.ch 09-Aug-1993 11:00 17213 mft.web 09-Aug-1993 11:00 74976