../ Makefile 22-Sep-1996 12:30 2088 ext.c 17-Jul-1992 11:39 12603 ext.h 12-Sep-1989 04:47 765 gftype.in 13-Aug-1989 07:51 4 ini_to_trap 22-Feb-1993 11:30 680 inimf.ch 09-Aug-1998 09:53 54429 mf.pool 09-Aug-1998 11:28 22157 mf_arith.c 14-Aug-1989 05:16 3069 mf_sunwin.c 19-Aug-1992 12:41 2645 mf_window.h 12-Aug-1989 13:57 422 plain.base 09-Aug-1998 11:30 56640 plain.log 09-Aug-1998 11:30 696 trap1.in 15-Aug-1989 03:01 14 trap2.in 15-Aug-1989 03:01 14