Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-04 11:38:36 -0800 (Sun, 04 Nov 2001)
Revision: 3439
Log message:

      Changes to get the mc theory compiled in by default.
      

Changes  Path
+3 -2 metaprl/editor/ml/Conscript
+1 -0 metaprl/theories/Conscript