Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-19 02:08:07 -0800 (Fri, 19 Mar 2004)
Revision: 5488
Log message:

      A few minor changes:
      - Do not complain if the "internal" flag is used, just ignore it
      - Make sure the "raw" mode is not referenced directly.
      - Simplified mode handling a little.
      

Changes  Path
+17 -2 metaprl-branches/new_match_table/filter/filter/filter_parse.ml
+2 -1 metaprl-branches/new_match_table/filter/filter/filter_prog.ml
+51 -41 metaprl-branches/new_match_table/refiner/reflib/dform.ml
+10 -9 metaprl-branches/new_match_table/refiner/reflib/dform.mli