Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-25 17:26:45 -0700 (Sun, 25 Apr 2004)
Revision: 5720
Log message:

      Modified some text in the M-paper.  The main issue we must deal with
      is the large comment delimited by !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!.
      
      I added some text there.  Would you look at it Aleksey?  Also,
      I changed the intro to CPS in the appendix in the same way.
      

Changes  Path
+3 -2 metaprl/theories/experimental/compile/m-paper-hosc.tex
+24 -12 metaprl/theories/experimental/compile/m_cps.ml
+4 -2 metaprl/theories/experimental/compile/m_doc_intro.ml
+3 -4 metaprl/theories/experimental/compile/m_doc_ir.ml
+8 -0 metaprl/theories/experimental/compile/m_doc_summary.ml
+30 -22 metaprl/theories/experimental/compile/m_ir.ml