Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-02 14:32:53 -0800 (Sat, 02 Apr 2005)
Revision: 7085
Log message:

      Got rid of .mlz in mllib and refiner directories.
      Note: you will have to run "cvs update" twice!
      

Changes  Path
+1 -1 metaprl/filter/base/OMakefile
+2 -5 metaprl/mllib/OMakefile
+0 -7 metaprl/refiner/reflib/OMakefile
+11 -19 metaprl/refiner/rewrite/Files
+9 -9 metaprl/refiner/term_gen/Files
+0 -1 metaprl/refiner/term_gen/OMakefile
+0 -1 metaprl/refiner/term_std/OMakefile
Deleted metaprl/tactics/proof/Files
+12 -6 metaprl/tactics/proof/OMakefile