Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-04-05 12:51:04 -0700 (Mon, 05 Apr 1999)
Revision: 2631
Log message:
Added MetaLabeled to term_grammar.
Changes | Path |
+1 -1 | metaprl/filter/term_grammar.ml |
+1 -1 | metaprl/util/macro.ml |