Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-25 20:33:05 -0700 (Sun, 25 Apr 2004)
Revision: 5724
Log message:

      - Added some text in the summary, comparing different CPS approaches (both the
      semantical and syntactical aspects). Jason, please take a look.
      
      - Changed the text width for TeX printouts from 70 to 60 (otehrwise we get
      oevrfull hboxes in this paper). This should be configurable, I will file a
      Bugzilla report.
      
      - Other small fixes.
      

Changes  Path
+1 -1 metaprl/support/shell/shell_package.ml
+1 -1 metaprl/theories/experimental/compile/m_doc_cps.ml
+2 -0 metaprl/theories/experimental/compile/m_doc_cps.mli
+24 -12 metaprl/theories/experimental/compile/m_doc_summary.ml
+2 -9 metaprl/theories/experimental/compile/m_doc_x86_asm.ml
+7 -7 metaprl/theories/experimental/compile/m_ir.ml