Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-25 22:18:31 -0700 (Fri, 25 Apr 2003)
Revision: 4501
Log message:

      Finished a quick pass over the techreport (added a few more dforms and
      corrected a few typesetting mistakes).
      

Changes	Path
Properties	metaprl/doc/latex/theories/experimental/compile
+5 -0	metaprl/theories/base/base_meta.ml
+5 -6	metaprl/theories/experimental/compile/m_closure.ml
+1 -0	metaprl/theories/experimental/compile/m_inline.ml
+2 -2	metaprl/theories/experimental/compile/m_x86_asm.ml
+5 -5	metaprl/theories/experimental/compile/m_x86_codegen.ml