Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2001-08-07 13:32:03 -0700 (Tue, 07 Aug 2001)
Revision: 3363
Log message:

      Added some initial Conscript files.  cons is a "make" replacement.
      make will continue to work in the usual way, but cons will
      eventually make it easier to produce a build.
      

Changes  Path
Properties metaprl
Added metaprl/Conscript
Properties metaprl/Conscript
Added metaprl/Construct
Properties metaprl/Construct
Added metaprl/clib/Conscript
Properties metaprl/clib/Conscript
Added metaprl/debug/Conscript
Properties metaprl/debug/Conscript
Added metaprl/ensemble/Conscript
Properties metaprl/ensemble/Conscript
Added metaprl/filter/Conscript
Properties metaprl/filter/Conscript
Added metaprl/filter/base/Conscript
Properties metaprl/filter/base/Conscript
Added metaprl/filter/boot/Conscript
Properties metaprl/filter/boot/Conscript
Added metaprl/filter/filter/Conscript
Properties metaprl/filter/filter/Conscript
+2 -0 metaprl/filter/filter/filter_main.ml
Added metaprl/library/Conscript
Properties metaprl/library/Conscript
+4 -10 metaprl/library/db.ml
Added metaprl/mllib/Conscript
Properties metaprl/mllib/Conscript
Added metaprl/refiner/Conscript
Properties metaprl/refiner/Conscript
Added metaprl/refiner/refbase/Conscript
Properties metaprl/refiner/refbase/Conscript
Added metaprl/refiner/refiner/Conscript
Properties metaprl/refiner/refiner/Conscript
Added metaprl/refiner/reflib/Conscript
Properties metaprl/refiner/reflib/Conscript
+6 -7 metaprl/refiner/reflib/arith.ml
Added metaprl/refiner/refsig/Conscript
Properties metaprl/refiner/refsig/Conscript
Added metaprl/refiner/rewrite/Conscript
Properties metaprl/refiner/rewrite/Conscript
Added metaprl/refiner/term_ds/Conscript
Properties metaprl/refiner/term_ds/Conscript
+2 -2 metaprl/refiner/term_ds/term_ds_sig.ml
Added metaprl/refiner/term_gen/Conscript
Properties metaprl/refiner/term_gen/Conscript
Added metaprl/refiner/term_std/Conscript
Properties metaprl/refiner/term_std/Conscript
Added metaprl/theories/Conscript
Properties metaprl/theories/Conscript
Added metaprl/util/Conscript
Properties metaprl/util/Conscript
Added metaprl/util/Construct
Properties metaprl/util/Construct