Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-02 20:29:05 -0800 (Sat, 02 Apr 2005)
Revision: 7090
Log message:

      Added string lexing as a primitive to Filter_grammar.
      

Changes  Path
+50 -2 metaprl/filter/base/filter_grammar.ml
+34 -23 mpcompiler/mmc/extensions/string/mmc_ext_string.ml
+38 -2 mpcompiler/mmc/extensions/string/mmc_ext_string.mli