Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-29 02:17:17 -0800 (Sat, 29 Mar 2003)
Revision: 4331
Log message:

      Adding a bib entry for the Mojave homepage.  This I think resolves
      some citations.  Made IR deadcode and inlining subsubsections.
      Killed some of my comments that have been addressed.  Removed the
      ACM copyright notice and replaced it with more suitable text (I
      think).
      

Changes  Path
+4 -7 metaprl-branches/lm_libmojave/doc/latex/theories/m-paper.tex
+2 -19 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml
+3 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_opt.ml
+1 -4 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_summary.ml
+5 -0 texinputs-branches/lm_libmojave/rc.bib