Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-28 10:02:32 -0800 (Fri, 28 Mar 2003)
Revision: 4293
Log message:

      Killing the list of keywords, since we don't strictly need them.
      We can add them back later if needed.
      
      Fixing a typo in M_doc_opt.
      
      Adding more to my comments in the introduction about the theme of
      the paper.  I think I've identified what I think is missing from
      the paper / what needs to be the paper's theme, and it would be
      interesting to see what others have to say.
      

Changes  Path
+2 -1 metaprl-branches/lm_libmojave/doc/latex/theories/m-paper.tex
+5 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml
+1 -1 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_opt.ml