Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-28 21:58:46 -0800 (Tue, 28 Dec 2004)
Revision: 6367
Log message:

      Fixed some of the issues with duplicated and/or absolute paths in
      OCAMLINCLUDES. Should fix (or rather work around) bug 372, could also fix bug
      373.
      

Changes	Path
+2 -2	metaprl/OMakefile
+1 -1	metaprl/editor/ml/OMakefile
+2 -2	metaprl/mk/prlcomp
+1 -10	metaprl/tactics/proof/OMakefile
+1 -3	metaprl/theories/experimental/compile/OMakefile