Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-06-23 18:54:39 -0700 (Wed, 23 Jun 1999)
Revision: 2751
Log message:

      Yet more stuff - now there are also toplevel macros that can be used.
      I really hope that this is the last feature addition (in other words,
      if someone don't like these frequent updates - me neither).
      

Changes  Path
+327 -273 metaprl/util/macro.ml