Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-19 17:18:37 -0800 (Sat, 19 Mar 2005)
Revision: 6983
Log message:

      Added more timing printouts.  Use MP_DEBUG=parsetiming to see them.
      
      Removed normal productions, so we just use production items
      (the production with a . position).  A normal production is
      just a production with the . at the front.
      

Changes	Path
+0 -8	metaprl/filter/base/filter_grammar.ml
+1 -1	metaprl/filter/base/filter_magic.ml