Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-03-26 17:52:11 -0800 (Wed, 26 Mar 2003)
Revision: 4246
Log message:

      Added ACM templates. Changed the title of the paper to 'Towards
      Formal Compilers.'
      

Changes	Path
+108 -17	metaprl-branches/lm_libmojave/doc/latex/theories/m-paper.tex
Added	texinputs-branches/lm_libmojave/acm_proc_article-sp.cls
Properties	texinputs-branches/lm_libmojave/acm_proc_article-sp.cls
Added	texinputs-branches/lm_libmojave/sig-alternate.cls
Properties	texinputs-branches/lm_libmojave/sig-alternate.cls