Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-17 21:37:42 -0800 (Wed, 17 Mar 2004)
Revision: 5477
Log message:

      !!! WARNING: With this commit, MetaPRL now requires omake >= 0.7.10 !!!
      
      - Updated the mpconfig to include all the Mojave extensions subdirectories
      - Fixed the "make clean" in the new theories/mojave/OMakefile
      

Changes  Path
+1 -1 metaprl/OMakefile
+1 -1 metaprl/editor/ml/mpconfig
+2 -5 mpcompiler/mmc/OMakefile