Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-23 17:18:47 -0700 (Fri, 23 Apr 2004)
Revision: 5706
Log message:

      Made some of the changes discussed earlier.
      

Changes	Path
Properties	metaprl/theories/experimental/compile
+6 -2	metaprl/theories/experimental/compile/OMakefile
+1 -1	metaprl/theories/experimental/compile/m-paper-hosc.tex
+6 -11	metaprl/theories/experimental/compile/m_doc_cps.ml
+2 -1	metaprl/theories/experimental/compile/m_doc_intro.ml
+6 -7	metaprl/theories/experimental/compile/m_doc_parsing.ml
+4 -10	metaprl/theories/experimental/compile/m_doc_summary.ml