Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-27 19:36:11 -0800 (Mon, 27 Oct 2003)
Revision: 5040
Log message:

      Fixed most of the overfulls, other formatting fixes.
      

Changes  Path
+6 -6 metaprl/support/display/comment.ml
+1 -1 metaprl/theories/experimental/compile/m-paper.tex
+9 -2 metaprl/theories/experimental/compile/m_doc_closure.ml
+7 -3 metaprl/theories/experimental/compile/m_doc_comment.ml
+0 -0 metaprl/theories/experimental/compile/m_doc_cps.ml
+0 -0 metaprl/theories/experimental/compile/m_doc_intro.ml
+2 -2 metaprl/theories/experimental/compile/m_doc_ir.ml
+0 -0 metaprl/theories/experimental/compile/m_doc_opt.ml
+2 -2 metaprl/theories/experimental/compile/m_doc_x86_asm.ml
+1 -1 metaprl/theories/experimental/compile/m_doc_x86_codegen.ml
+1 -1 metaprl/theories/experimental/compile/m_doc_x86_opt.ml
+0 -0 metaprl/theories/experimental/compile/m_doc_x86_regalloc.ml
+6 -2 texinputs/metaprl.tex