Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-07-30 08:55:55 -0700 (Wed, 30 Jul 2003)
Revision: 4791
Log message:

      Fixing a formatting nit-pick in the parsing section, and
      correcting a grammar error in the related works section that was
      pointed out by one of the reviewers.  No good ideas on how to
      shorten the M-paper yet.
      

Changes	Path
+0 -0	metaprl/theories/experimental/compile/m_doc_parsing.ml
+1 -1	metaprl/theories/experimental/compile/m_doc_summary.ml