Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-18 12:55:02 -0800 (Thu, 18 Mar 2004)
Revision: 5484
Log message:

      First pass at migrating the display forms to the new table code.
      
      I am planning to make display forms be a regular resource (one shared
      resource for all display modes - this should make it easier to add mode
      hierarchy later). This commit implements most of teh basic fuctionality,
      except for the resource itself.
      
      This commit also eliminates support for the unusd "internal" dform flag,
      w/o eliminating usages of the flag yet.
      
      !!! Does not compile. !!!
      

Changes  Path
+1 -5 metaprl-branches/new_match_table/filter/base/filter_summary.ml
+1 -5 metaprl-branches/new_match_table/filter/base/filter_type.ml
+6 -9 metaprl-branches/new_match_table/filter/filter/filter_parse.ml
+28 -48 metaprl-branches/new_match_table/filter/filter/filter_prog.ml
+0 -1 metaprl-branches/new_match_table/refiner/reflib/Files
+42 -50 metaprl-branches/new_match_table/refiner/reflib/dform.ml
+7 -4 metaprl-branches/new_match_table/refiner/reflib/dform.mli
Deleted metaprl-branches/new_match_table/refiner/reflib/dform_print.ml
Deleted metaprl-branches/new_match_table/refiner/reflib/dform_print.mli
+1 -0 metaprl-branches/new_match_table/refiner/reflib/term_match_table.ml
+2 -0 metaprl-branches/new_match_table/refiner/reflib/term_match_table.mli
+3 -9 metaprl-branches/new_match_table/refiner/reflib/theory.ml
+0 -5 metaprl-branches/new_match_table/refiner/reflib/theory.mli
+0 -4 metaprl-branches/new_match_table/support/shell/shell.ml