Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-25 14:35:48 -0800 (Tue, 25 Mar 2003)
Revision: 4232
Log message:

      Starting the paper.
      
      The source text is in theories/experimental/compile/m_doc_*.ml.
      
      To build the paper, this is what you do:
      
         1. In the main meta-prl directory, run "make"
         2. Go to doc/latex/theories, run "make compile"
         3. View output in m-paper.ps
      

Changes  Path
Properties metaprl-branches/lm_libmojave/doc/latex/theories
+7 -0 metaprl-branches/lm_libmojave/doc/latex/theories/Makefile
Properties metaprl-branches/lm_libmojave/doc/latex/theories/experimental/compile
Added metaprl-branches/lm_libmojave/doc/latex/theories/experimental/compile/print.ml
Properties metaprl-branches/lm_libmojave/doc/latex/theories/experimental/compile/print.ml
Added metaprl-branches/lm_libmojave/doc/latex/theories/m-paper.tex
Properties metaprl-branches/lm_libmojave/doc/latex/theories/m-paper.tex
+3 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/Makefile
+4 -6 metaprl-branches/lm_libmojave/theories/experimental/compile/m_closure.ml
Added metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml
Properties metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml
Added metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.mli
Properties metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.mli
Added metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.ml
Properties metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.ml
Added metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.mli
Properties metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.mli
Added metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_parsing.ml
Properties metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_parsing.ml
Added metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_parsing.mli
Properties metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_parsing.mli
+10 -2 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_codegen.ml
+69 -7 metaprl-branches/lm_libmojave/theories/tactic/comment.ml
+17 -0 metaprl-branches/lm_libmojave/theories/tactic/comment.mli
+19 -0 texinputs-branches/lm_libmojave/metaprl.tex