Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-28 22:31:58 -0800 (Fri, 28 Mar 2003)
Revision: 4314
Log message:

      Deleting Aleksey's comment about the display forms for LetAtom and
      LetClosure being identical, since it has been addressed.  Also
      adding a brief comment to the summary (I think ``grunge'' is fine,
      and will do a closer read of the summary a little later).
      

Changes	Path
+0 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.ml
+6 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_summary.ml