Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-07-26 13:04:22 -0700 (Mon, 26 Jul 2004)
Revision: 6107
Log message:

      Removed all -I suffixes from INCLUDES
      

Changes	Path
Properties	metaprl
+35 -37	metaprl/OMakefile
Properties	metaprl/clib
Properties	metaprl/editor/emacs
Properties	metaprl/editor/ml
+3 -3	metaprl/editor/ml/OMakefile
Properties	metaprl/filter
Properties	metaprl/filter/base
Properties	metaprl/filter/filter
+3 -3	metaprl/filter/filter/OMakefile
Properties	metaprl/filter/phobos
+2 -2	metaprl/filter/phobos/OMakefile
Properties	metaprl/library
Properties	metaprl/mk
+1 -1	metaprl/mk/prlcomp
Properties	metaprl/mllib
Properties	metaprl/proxyedit
Properties	metaprl/refiner
Properties	metaprl/refiner/refbase
Properties	metaprl/refiner/refiner
+7 -7	metaprl/refiner/refiner/OMakefile
Properties	metaprl/refiner/reflib
+6 -6	metaprl/refiner/reflib/OMakefile
Properties	metaprl/refiner/refsig
+3 -3	metaprl/refiner/refsig/OMakefile
+7 -7	metaprl/refiner/rewrite/OMakefile
Properties	metaprl/refiner/term_ds
+5 -5	metaprl/refiner/term_ds/OMakefile
Properties	metaprl/refiner/term_gen
+4 -4	metaprl/refiner/term_gen/OMakefile
Properties	metaprl/refiner/term_std
+5 -5	metaprl/refiner/term_std/OMakefile
Properties	metaprl/support/display
Properties	metaprl/support/shell
+1 -1	metaprl/support/shell/OMakefile
Properties	metaprl/support/tactics
+1 -1	metaprl/support/tactics/OMakefile
+2 -2	metaprl/tactics/ensemble/OMakefile
Properties	metaprl/tactics/proof
+10 -11	metaprl/tactics/proof/OMakefile
Properties	metaprl/theories/base
+1 -1	metaprl/theories/base/OMakefile
+4 -4	metaprl/theories/cic/OMakefile
Properties	metaprl/theories/czf
+4 -4	metaprl/theories/czf/OMakefile
Properties	metaprl/theories/experimental/compile
+5 -6	metaprl/theories/experimental/compile/OMakefile
+9 -10	metaprl/theories/experimental/mcc/fir/type/OMakefile
+5 -6	metaprl/theories/experimental/unity/OMakefile
Properties	metaprl/theories/fir
+3 -3	metaprl/theories/fir/OMakefile
Properties	metaprl/theories/fol
+4 -4	metaprl/theories/fol/OMakefile
Properties	metaprl/theories/itt
+3 -3	metaprl/theories/itt/OMakefile
+4 -4	metaprl/theories/kat/OMakefile
+4 -3	metaprl/theories/mesa/OMakefile
Properties	metaprl/theories/ocaml_doc
+3 -3	metaprl/theories/ocaml_doc/OMakefile
Properties	metaprl/theories/ocaml_sos
+3 -3	metaprl/theories/ocaml_sos/OMakefile
Properties	metaprl/theories/phobos
+4 -4	metaprl/theories/phobos/OMakefile
Properties	metaprl/theories/sil
+4 -4	metaprl/theories/sil/OMakefile
+4 -4	metaprl/theories/tptp/OMakefile
+4 -3	metaprl/theories/tutorial/OMakefile
Properties	metaprl/util
+1 -1	metaprl/util/OMakefile
+0 -1	metaprl/util/ocamldep.mll
+4 -4	mpcompiler/mmc/OMakefile