Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-05-16 22:44:41 -0700 (Thu, 16 May 2002)
Revision: 3659
Log message:

      Removing default targets from Conscript files.  Those of you on MCC,
      see the next MCC commit for how to get these back.
      

Changes	Path
+1 -1	metaprl/clib/Conscript
+1 -1	metaprl/debug/Conscript
+1 -1	metaprl/editor/ml/Conscript
+1 -1	metaprl/ensemble/Conscript
+1 -1	metaprl/filter/base/Conscript
+1 -1	metaprl/filter/boot/Conscript
+1 -1	metaprl/filter/filter/Conscript
+1 -1	metaprl/lib/Conscript
+1 -1	metaprl/library/Conscript
+1 -1	metaprl/mllib/Conscript
+1 -1	metaprl/refiner/refbase/Conscript
+1 -1	metaprl/refiner/refiner/Conscript
+1 -1	metaprl/refiner/reflib/Conscript
+2 -2	metaprl/refiner/refsig/Conscript
+1 -1	metaprl/refiner/rewrite/Conscript
+1 -1	metaprl/refiner/term_ds/Conscript
+1 -1	metaprl/refiner/term_gen/Conscript
+1 -1	metaprl/refiner/term_std/Conscript
+1 -1	metaprl/theories/base/Conscript
+1 -1	metaprl/theories/itt/Conscript
+1 -1	metaprl/theories/mc/Conscript
+1 -1	metaprl/theories/mc/tests/Conscript
+1 -1	metaprl/theories/ocaml/Conscript
+1 -1	metaprl/theories/tactic/Conscript
+1 -1	metaprl/util/Conscript