Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-01 10:32:38 -0700 (Fri, 01 Aug 2003)
Revision: 4804
Log message:

      Reduced the text in the parsing section.
      

Changes  Path
+6 -10 metaprl/theories/experimental/compile/m_doc_intro.ml
+17 -30 metaprl/theories/experimental/compile/m_doc_parsing.ml