Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-11 14:40:14 -0700 (Sun, 11 Apr 2004)
Revision: 5636
Log message:

      A minor change to display: display forms are parenthesized only if
      they actually mention the parens option.  This just decouples the
      precedence directive from the parens.
      

Changes	Path
+5 -6	metaprl/filter/filter/filter_parse.ml
+83 -70	metaprl/refiner/reflib/dform.ml