Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-03-10 15:29:54 -0800 (Sun, 10 Mar 2002)
Revision: 3532
Log message:

      I am committing David Bustos' changes to the cons build system for Metaprl.
      
      See David's message "cons for MetaPRL" in the newsgroup for more information -
      news://news.metaprl.org:119/20020310131332.A13595@wink.caltech.edu
      

Changes	Path
+3 -1	metaprl/Conscript
+600 -279	metaprl/Construct
+2 -0	metaprl/debug/Conscript
+9 -7	metaprl/editor/ml/Conscript
+0 -6	metaprl/editor/ml/mux_channel.ml
+0 -6	metaprl/editor/ml/recursive_lock.ml
+0 -3	metaprl/editor/ml/shell_rewrite.ml
+0 -6	metaprl/editor/ml/shell_tex.ml
+2 -0	metaprl/filter/filter/Conscript
+8 -3	metaprl/mllib/Conscript
+3 -1	metaprl/refiner/Conscript
+0 -1	metaprl/refiner/reflib/mp_resource.ml
+0 -1	metaprl/refiner/term_ds/term_base_ds.ml
+0 -1	metaprl/refiner/term_ds/term_ds_sig.ml
+0 -1	metaprl/refiner/term_std/term_base_std.ml
+5 -1	metaprl/theories/Conscript
+0 -6	metaprl/theories/base/base_trivial.ml
+0 -1	metaprl/theories/itt/itt_int_arith.ml
+0 -9	metaprl/theories/tactic/Conscript
+0 -4	metaprl/theories/tactic/base_dform.ml
+0 -3	metaprl/theories/tactic/nuprl_font.ml
+0 -4	metaprl/theories/tactic/perv.ml
+0 -3	metaprl/theories/tactic/tactic_cache.ml
+28 -11	metaprl/util/ocamldep.mll