Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-28 23:28:53 -0800 (Fri, 28 Mar 2003)
Revision: 4317
Log message:

      Another random comment on the summary.  I'm having trouble finding
      any serious flaws in it, which is probably a good thing. (-:
      

Changes	Path
+8 -7	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_summary.ml