Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-01 22:56:08 -0700 (Tue, 01 Jun 1999)
Revision: 2684
Log message:

      1) By default, the values of non-meta string/token/var parameters are now printed in quotes
      
      2) Fixed the dispay forms for summary items. There were several problems there:
      - some display forms (id, prec_rel) were assuming wrong term structure
      - some display forms were broken by the addition of an extra resource_def argument.
      

Changes	Path
+3 -3	metaprl/refiner/reflib/simple_print.ml
+28 -17	metaprl/theories/base/summary.ml
+3 -2	metaprl/theories/base/summary.mli