Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-29 07:46:22 -0800 (Wed, 29 Oct 2003)
Revision: 5051
Log message:

      Working on the macro conversion, but omake is giving me trouble.
      

Changes	Path
+0 -2	metaprl-branches/ocaml_3_07/refiner/rewrite/Files
+0 -4	metaprl-branches/ocaml_3_07/refiner/rewrite/Makefile
+7 -6	metaprl-branches/ocaml_3_07/refiner/rewrite/OMakefile
+1 -8	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_build_contractum.ml
+7 -13	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_build_contractum.mli
+3 -7	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_compile_contractum.ml
+6 -10	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_compile_contractum.mli
+2 -5	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_compile_redex.ml
+8 -10	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_compile_redex.mli
+1 -5	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_debug.ml
+6 -10	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_debug.mli
+1 -6	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_match_redex.ml
+7 -11	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_match_redex.mli
+1 -5	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_meta.ml
+3 -6	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_meta.mli
+10 -29	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_types.ml
Deleted	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_types.mli
+1 -2	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_util.ml
+2 -4	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_util.mli