Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-11 22:49:39 -0700 (Fri, 11 Jun 2004)
Revision: 5889
Log message:

      - Require omake 0.7.15
      - Minore cleanup of the refiner subdirs.
      

Changes	Path
+3 -3	metaprl/OMakefile
+1 -1	metaprl/mllib/setup.ml
+1 -1	metaprl/refiner/refbase/OMakefile
+1 -2	metaprl/refiner/refiner/OMakefile
+1 -2	metaprl/refiner/reflib/OMakefile
+1 -2	metaprl/refiner/refsig/OMakefile
+1 -2	metaprl/refiner/rewrite/OMakefile
+1 -2	metaprl/refiner/term_ds/OMakefile
+1 -2	metaprl/refiner/term_gen/OMakefile
+1 -2	metaprl/refiner/term_std/OMakefile
+1 -1	metaprl/util/OMakefile