Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-06-25 20:01:09 -0700 (Fri, 25 Jun 1999)
Revision: 2761
Log message:

      * No need for "-DMLZ".
      * Added some documentaion in macro.ml.
      

Changes	Path
+1 -1	metaprl/refiner/rewrite/Makefile
+5 -1	metaprl/util/macro.ml