Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-16 10:56:07 -0800 (Sun, 16 Jan 2005)
Revision: 6410
Log message:

      Trying to figure out the rewriter bug.
      This is just a code reformat as I try to understand the code.
      

Changes  Path
+1 -0 metaprl/editor/emacs/caml.el
+6 -0 metaprl/refiner/refsig/rewrite_sig.ml
+29 -2 metaprl/refiner/rewrite/rewrite.ml
+139 -96 metaprl/refiner/rewrite/rewrite_compile_redex.ml
+34 -3 metaprl/refiner/rewrite/rewrite_debug.ml
+2 -0 metaprl/refiner/rewrite/rewrite_debug.mli
+4 -0 metaprl/refiner/rewrite/rewrite_debug_sig.ml
+209 -173 metaprl/refiner/rewrite/rewrite_match_redex.ml
+3 -1 metaprl/refiner/rewrite/rewrite_types.ml