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 |