D/Holmake////
/config-muddy.sml/1.4/Thu Nov 16 13:03:56 2000//
/config-unix.sml/1.7/Thu Nov  2 14:00:39 2000//
/config-winNT.sml/1.8/Thu Nov  2 14:00:40 2000//
/end-init.sml/1.1/Thu Nov  2 14:00:41 2000//
/unquote-init.sml/1.1/Thu Nov  2 14:00:41 2000//
/documentation-directories/1.9/Thu Feb  1 05:06:57 2001//
/makefile.muddy.src/1.4/Thu Apr 12 11:47:46 2001//
/Globals.src/1.18/Sun Apr 29 14:37:42 2001//
/hol98-mode.src/1.13/Sun Apr 29 14:37:42 2001//
/Holmakefile.help.src/1.1/Fri Jun 15 14:41:52 2001//
/makebase.src/1.2/Mon Jun 18 11:18:09 2001//
/configure.sml/1.62/Result of merge//
/build.src/1.15/Tue Jun 19 17:26:37 2001//
/std.prelude.src/1.26/Result of merge//
