Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-09-10 17:03:27 -0700 (Fri, 10 Sep 2004)
Revision: 6188
Log message:

      Actually, it all works as expected, but parser generation
      is a bit slow.  I'm tuning it,
      

Changes  Path
+2 -9 metaprl-branches/new_parser/filter/base/filter_cache_fun.ml
+14 -0 metaprl-branches/new_parser/filter/base/filter_grammar.ml
+2 -2 metaprl-branches/new_parser/filter/base/filter_summary_type.ml
+1 -1 metaprl-branches/new_parser/filter/filter/filter_parse.ml
+1 -1 metaprl-branches/new_parser/mk/defaults