Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-11 22:37:53 -0700 (Thu, 11 Apr 2002)
Revision: 3576
Log message:

      These updates to the Conscripts allow for a compiles,
      started in the MC source tree, to optionally
      compile MetaPRL.  Nothing in MetaPRL itself should be
      affected by these changes.  The only important
      thing to note that is "#", in INCPATH's
      has been replaced by $env->{MP}, which is set
      in the toplevel Conscript.  "#" will refer to the
      wrong root if the compile is started in MC.
      

Changes  Path
+7 -4 metaprl/Conscript
+1 -1 metaprl/clib/Conscript
+29 -14 metaprl/editor/ml/Conscript
+4 -1 metaprl/ensemble/Conscript
+15 -7 metaprl/filter/Conscript
+3 -3 metaprl/filter/base/Conscript
+5 -3 metaprl/filter/boot/Conscript
+10 -8 metaprl/filter/filter/Conscript
+12 -12 metaprl/lib/Conscript
+5 -1 metaprl/library/Conscript
+5 -5 metaprl/mllib/Conscript
+3 -3 metaprl/refiner/Conscript
+2 -2 metaprl/refiner/refiner/Conscript
+1 -1 metaprl/refiner/reflib/Conscript
+2 -2 metaprl/refiner/refsig/Conscript
+2 -2 metaprl/refiner/rewrite/Conscript
+3 -2 metaprl/refiner/term_ds/Conscript
+3 -2 metaprl/refiner/term_gen/Conscript
+2 -2 metaprl/refiner/term_std/Conscript
+25 -16 metaprl/theories/Conscript
+4 -4 metaprl/theories/mc/Conscript
+2 -0 metaprl/theories/mc/TODO
+2 -0 metaprl/theories/mc/mp_mc_const_elim.ml
+2 -0 metaprl/theories/mc/mp_mc_const_elim.mli
+2 -2 metaprl/theories/mc/tests/Conscript
+6 -6 metaprl/theories/tactic/Conscript
+0 -1 metaprl/util/Conscript