Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-02 16:02:19 -0800 (Thu, 02 Dec 2004)
Revision: 6313
Log message:

      Renamed GramUpd -> MLGramUpd, Grammar -> PRLGrammar
      

Changes	Path
+4 -4	metaprl-branches/new_parser3/filter/base/filter_cache_fun.ml
+1 -1	metaprl-branches/new_parser3/filter/base/filter_magic.ml
+25 -18	metaprl-branches/new_parser3/filter/base/filter_summary.ml
+2 -2	metaprl-branches/new_parser3/filter/base/filter_type.ml
+4 -4	metaprl-branches/new_parser3/filter/filter/filter_parse.ml
+5 -5	metaprl-branches/new_parser3/filter/filter/filter_prog.ml
+2 -2	metaprl-branches/new_parser3/support/shell/shell_core.ml
+3 -3	metaprl-branches/new_parser3/support/shell/shell_package.ml