Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-04-25 10:52:45 -0700 (Fri, 25 Apr 2003)
Revision: 4494
Log message:

      Some minor changes to the paper.
      

Changes  Path
+3 -3 metaprl/OMakefile
+15 -15 metaprl/debug/OMakefile
+1 -12 metaprl/doc/latex/theories/experimental/compile/print.ml
+6 -1 metaprl/doc/latex/theories/m-paper-tr.tex
+18 -0 metaprl/editor/ml/OMakefile
+2 -2 metaprl/theories/experimental/compile/OMakefile
+28 -51 metaprl/theories/experimental/compile/m_closure.ml
+2 -0 metaprl/theories/experimental/compile/m_ir.ml