Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-10 21:21:54 -0700 (Sun, 10 Oct 2004)
Revision: 6230
Log message:

      A few updates to how contexts are handled in display forms:
      - Allow free context parameters on the RHS on informal rewrites.
      - When parsing display forms, deduce the default context parameters
      for the whole display form at once, instead of seperately for each part of it.
      

Changes	Path
+13 -5	metaprl/filter/filter/filter_parse.ml
+1 -1	metaprl/filter/filter/term_grammar.ml
+3 -3	metaprl/refiner/rewrite/rewrite_compile_contractum.ml