Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-12-21 21:43:27 -0800 (Fri, 21 Dec 2001)
Revision: 3472
Log message:

      -  Removed util/Construct since it seems to be
         unnecessary for building MetaPRL with cons.
      -  Minor changes to other Conscript(s).
         Mostly formatting (changing tabs to spaces).
      -  Top level Conscript only uses the MC std. lib.
         if MC_ROOT is defined.  Before, if MC_ROOT wasn't
         defined, the -I cmd. line arguments would have
         unnecessary things like -I /lib/naml/...
      -  Minor changes to display forms in theories/mc.
      -  Minor changes to code formatting in theories/mc.
      -  Filled in missing Mc_fir_connect_* functions.
         I need to look over them at some point for
         obvious typo-bugs and perform other testing.
      

Changes  Path
+43 -38 metaprl/Conscript
+136 -136 metaprl/Construct
+1 -32 metaprl/editor/ml/Conscript
+11 -11 metaprl/refiner/Conscript
+18 -15 metaprl/refiner/refiner/Conscript
+7 -0 metaprl/theories/mc/README
+12 -5 metaprl/theories/mc/TODO
+0 -0 metaprl/theories/mc/fir_eval.ml
+1 -1 metaprl/theories/mc/fir_eval.mli
+159 -83 metaprl/theories/mc/fir_exp.ml
+38 -1 metaprl/theories/mc/fir_exp.mli
+2 -0 metaprl/theories/mc/fir_test.ml
+36 -28 metaprl/theories/mc/fir_ty.ml
+0 -10 metaprl/theories/mc/fir_ty.mli
+13 -0 metaprl/theories/mc/mc_fir_connect_base.ml
+8 -2 metaprl/theories/mc/mc_fir_connect_base.mli
+177 -16 metaprl/theories/mc/mc_fir_connect_exp.ml
+3 -4 metaprl/theories/mc/mc_fir_connect_exp.mli
+8 -0 metaprl/theories/mc/mc_set.ml
+2 -1 metaprl/theories/mc/mc_set.mli
+0 -0 metaprl/theories/mc/mc_term_op.ml
+0 -4 metaprl/theories/mc/mc_theory.ml
+0 -4 metaprl/theories/mc/mc_theory.mli
Deleted metaprl/util/Construct