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 |