Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-29 06:23:34 -0700 (Thu, 29 Sep 2005)
Revision: 7798
Log message:

      This is a significant simplification of the interfaces that "push through" the
      state needed by the term_grammar parser.
      

Changes  Path
+55 -57 metaprl/filter/base/filter_cache_fun.ml
+1 -16 metaprl/filter/base/filter_summary_type.ml
+20 -32 metaprl/filter/base/filter_type.ml
+7 -106 metaprl/filter/filter/filter_parse.ml
+18 -0 metaprl/filter/filter/term_grammar.ml
+5 -96 metaprl/support/shell/package_info.ml
+1 -14 metaprl/support/shell/package_info.mli
+4 -26 metaprl/support/shell/shell_core.ml
+36 -188 metaprl/support/shell/shell_state.ml
+1 -19 metaprl/support/shell/shell_state.mli