Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-06-22 13:32:03 -0700 (Tue, 22 Jun 1999)
Revision: 2740
Log message:

      Added lots of stuff to macro.ml, so it handles many more syntax types and
      also mli files.
      
      An improvised update for refiner_verb_and_simp.txt, it should either be
      extended or deleted.
      

Changes	Path
+11 -12	metaprl/doc/refiner_verb_and_simp.txt
+381 -94	metaprl/util/macro.ml