Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-10 16:36:41 -0700 (Thu, 10 Jun 2004)
Revision: 5879
Log message:

      - Do not use slot{} in Perv!cons display form
      - Do not use slot{} in Comments display forms
      - Do use slot{} when displaying subterms of an SO var.
      
      Ths problem with slot in comments (especially with the slot{'cdr} in the
      Perv!cons display form) is that HTML has a limit on the level of nested tags -
      the tags can only be nested up to 100 deep. We were exceeding this limit on
      comments.
      

Changes	Path
+2 -2	metaprl/support/display/base_dform.ml
+41 -41	metaprl/support/display/comment.ml
+1 -1	metaprl/support/display/perv.ml