Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-04 12:29:12 -0800 (Fri, 04 Feb 2005)
Revision: 6595
Log message:

      Fixing the documentation display forms (that I broke when merging
      opname_classes3).
      

Changes  Path
+0 -19 metaprl-branches/opname_classes4/support/display/comment.ml
+1 -2 metaprl-branches/opname_classes4/support/display/comment.mli
+16 -0 metaprl-branches/opname_classes4/support/display/summary.ml
+4 -0 metaprl-branches/opname_classes4/support/display/summary.mli