Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-23 19:05:55 -0800 (Tue, 23 Mar 2004)
Revision: 5533
Log message:

      Minor OMakefile changes to use Mcc_theory as the compiler root.
      
      It seems to me that tests do not belong in extensions because
      we want to test more than just extensions.  What about a directory
      theories/mojave/test?
      

Changes  Path
+3 -1 mpcompiler/mmc/OMakefile
+1 -5 mpcompiler/mmc/extensions/test/ext_int_test.ml
+1 -3 mpcompiler/mmc/extensions/test/ext_int_test.mli
+1 -1 mpcompiler/mmc/main/Files
Deleted mpcompiler/mmc/main/OMakefile
+2 -1 mpcompiler/mmc/main/mmc_theory.ml
+16 -0 mpcompiler/mmc/main/mmc_theory.mli