Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-27 18:22:29 -0800 (Mon, 27 Oct 2003)
Revision: 5039
Log message:

      I rolled back a bunch of changes that were made when reformatting from
      the ACM style to LNCS style, bringing the M paper back to the ACM style.
      
      Hopefully, I rolled back all the right ones (e.g only the formatting ones, but
      not the textual or style fixing ones). I also rolled back most of the changes
      that cut some of the text out, but some of them seemed reasonable regardless
      of space constraints, so I kept the removed text out.
      
      Still need to fix a bunch of overflows.
      

Changes  Path
Deleted metaprl/doc/latex/theories/m-paper-tr.tex
Deleted metaprl/doc/latex/theories/m-paper.tex
+10 -15 metaprl/theories/experimental/compile/m-paper.tex
+17 -8 metaprl/theories/experimental/compile/m_doc_closure.ml
+10 -8 metaprl/theories/experimental/compile/m_doc_cps.ml
+10 -8 metaprl/theories/experimental/compile/m_doc_intro.ml
+33 -30 metaprl/theories/experimental/compile/m_doc_ir.ml
+12 -16 metaprl/theories/experimental/compile/m_doc_opt.ml
+23 -29 metaprl/theories/experimental/compile/m_doc_parsing.ml
+23 -28 metaprl/theories/experimental/compile/m_doc_x86_asm.ml
+18 -36 metaprl/theories/experimental/compile/m_doc_x86_codegen.ml
+4 -4 metaprl/theories/experimental/compile/m_doc_x86_opt.ml
+2 -8 metaprl/theories/experimental/compile/m_doc_x86_regalloc.ml