Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-08 20:59:40 -0700 (Tue, 08 Jul 2003)
Revision: 4721
Log message:

      A bunch of minor fixes. I think I finally got display forms to work correctly
      on the branch.
      

Changes  Path
+1 -1 metaprl-branches/abstract_vars/editor/ml/shell_mp.ml
+1 -1 metaprl-branches/abstract_vars/editor/ml/shell_p4.ml
+7 -10 metaprl-branches/abstract_vars/filter/base/filter_summary.ml
+2 -1 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_build_contractum.ml
+2 -2 metaprl-branches/abstract_vars/refiner/rewrite/rewrite_debug.ml
+4 -4 metaprl-branches/abstract_vars/support/display/summary.ml
+1 -1 metaprl-branches/abstract_vars/support/display/summary.mli
+7 -4 metaprl-branches/abstract_vars/support/shell/shell_state.ml
+1 -1 metaprl-branches/abstract_vars/support/shell/shell_state.mli