Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-06-11 15:00:53 -0700 (Tue, 11 Jun 2002)
Revision: 3711
Log message:

      Removing INCPATH statements from build system.
      

Changes  Path
+0 -3 metaprl/debug/Conscript
+0 -53 metaprl/editor/ml/Conscript
+0 -6 metaprl/ensemble/Conscript
+0 -14 metaprl/filter/Conscript
+0 -1 metaprl/filter/base/Conscript
+0 -3 metaprl/filter/boot/Conscript
+0 -3 metaprl/filter/filter/Conscript
+0 -7 metaprl/library/Conscript
+0 -1 metaprl/refiner/Conscript
+0 -4 metaprl/refiner/refiner/Conscript
+0 -3 metaprl/refiner/reflib/Conscript
+0 -3 metaprl/refiner/refsig/Conscript
+0 -1 metaprl/refiner/rewrite/Conscript
+0 -2 metaprl/refiner/term_ds/Conscript
+0 -2 metaprl/refiner/term_gen/Conscript
+0 -1 metaprl/refiner/term_std/Conscript
+0 -14 metaprl/theories/Conscript
+0 -3 metaprl/theories/base/Conscript
+0 -3 metaprl/theories/itt/Conscript
+0 -14 metaprl/theories/mc/Conscript
+0 -1 metaprl/theories/mc/tests/Conscript
+0 -3 metaprl/theories/ocaml/Conscript