Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-05 17:20:23 -0700 (Mon, 05 Apr 2004)
Revision: 5605
Log message:

      The theories/mojave now lives in a separate CVS repository "mmc" on cvs.metaprl.org.
      
      I am not quite sure, but I believe that "mmc" is supposed to stand for something like
      "Mojave Meta-Compiler", "Meta Mojave Compiler", "Modern Mojave Compiler", or
      "Mean Meta-Compiler" ;-)
      
      The commit logs for the "mmc" repository are going to go to mcc-cvs@metaprl.org,
      go to https://lists.metaprl.org/mailman/listinfo/mcc-cvs to subscribe.
      

Changes  Path
+2 -1 metaprl/mk/defaults