Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-29 10:47:41 -0800 (Sat, 29 Mar 2003)
Revision: 4335
Log message:

      Fixing more typos, and eliminating some redundant text.
      

Changes	Path
+10 -10	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml
+2 -10	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_opt.ml
+2 -5	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_summary.ml
+2 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_x86_codegen.ml
+1 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_x86_opt.ml