Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-04-11 22:57:30 -0700 (Fri, 11 Apr 2003)
Revision: 4417
Log message:

      Added basic skeleton of M techreport. For now, it has the same
      introduction and parsing section as the paper, and the rest
      are the theory files (not all).
      

Changes  Path
+2 -0 metaprl/doc/latex/theories/Makefile
+14 -0 metaprl/doc/latex/theories/experimental/compile/print.ml
Added metaprl/doc/latex/theories/m-paper-tr.tex
Properties metaprl/doc/latex/theories/m-paper-tr.tex