Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-16 20:22:59 -0700 (Wed, 16 Jul 2003)
Revision: 4754
Log message:

      - Made the TermShape module more tolerant (it will return something
      semi-reasonable for sequents and variables instead of raising an exception).
      
      - Fixed the variable-related display forms.
      

Changes	Path
+1 -1	metaprl-branches/bound_contexts/refiner/refiner/refiner_ds.ml
+1 -1	metaprl-branches/bound_contexts/refiner/refiner/refiner_std.ml
+1 -1	metaprl-branches/bound_contexts/refiner/reflib/dform.ml
+31 -7	metaprl-branches/bound_contexts/refiner/term_gen/term_shape_gen.ml
+6 -4	metaprl-branches/bound_contexts/refiner/term_gen/term_shape_gen.mli
+5 -3	metaprl-branches/bound_contexts/support/display/base_dform.ml