Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-19 20:22:09 -0800 (Wed, 19 Jan 2005)
Revision: 6448
Log message:

      Added some display forms for the new declarations.
      

Changes  Path
+0 -0 metaprl-branches/opname_classes/doc/parser.txt
+20 -14 metaprl-branches/opname_classes/filter/base/filter_summary.ml
+32 -0 metaprl-branches/opname_classes/support/display/summary.ml
+0 -0 metaprl-branches/opname_classes/theories/experimental/compile/m_doc_proposal.ml
+3 -0 metaprl-branches/opname_classes/util/check-status.sh