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