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