../ Makefile 21-Dec-2002 08:04 2114 ext.c 01-May-2000 09:43 12K ext.h 01-May-2000 09:43 765 gftype.in 01-May-2000 09:43 4 ini_to_trap 01-May-2000 09:43 680 inimf.ch 01-May-2000 09:43 53K mf.pool 01-May-2000 09:43 22K mf_arith.c 01-May-2000 09:43 3069 mf_sunwin.c 01-May-2000 09:43 2645 mf_window.h 01-May-2000 09:43 422 plain.base 01-May-2000 09:43 55K plain.log 01-May-2000 09:43 696 trap1.in 01-May-2000 09:43 14 trap2.in 01-May-2000 09:43 14