Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-29 23:11:51 -0800 (Mon, 29 Mar 2004)
Revision: 5577
Log message:

      Further attempts to make display forms in the Mojave theory nicer.
      

Changes	Path
+7 -0	metaprl/refiner/reflib/rformat.ml
+1 -1	metaprl/support/display/base_dform.ml