/Makefile/1.3/Sun Aug 22 16:30:49 1999//
/eif_gtk.h/1.1/Tue Jul  6 02:36:31 1999//
/eif_gtk_ise.c/1.1/Tue Jul  6 02:36:31 1999//
/gtk_eiffel.c/1.3/Wed Jun 23 03:15:41 1999//
D
