Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-03 20:56:03 -0700 (Thu, 03 Jul 2003)
Revision: 4697
Log message:

      Beginning the slow process of migrating MetaPRL toward libmojave.
      

Changes	Path
+1 -1	metaprl/Makefile
+8 -3	metaprl/OMakefile
+9 -15	metaprl/editor/ml/OMakefile
+4 -0	metaprl/mk/make_config.sh
+1 -1	mpcompiler/mmc/core/mmc_core_type_infer.ml