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 |