Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-06-16 12:06:59 -0700 (Wed, 16 Jun 1999)
Revision: 2719
Log message:
Added a local macro construct.
Also Added some documentation on what is provided so far.
Changes | Path |
+54 -15 | metaprl/util/macro.ml |