Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-27 16:53:53 -0800 (Thu, 27 Mar 2003)
Revision: 4263
Log message:

      Files now pass the MetaPRL spell checker.  Note, text in @comment{}
      blocks is not spell-checked.
      
      For now, when you add text, try compiling with the MP_DEBUG=spell
      environment variable.
      

Changes  Path
+3 -1 metaprl-branches/lm_libmojave/filter/filter/filter_parse.ml
Added metaprl-branches/lm_libmojave/theories/experimental/compile/.ispell_english
Properties metaprl-branches/lm_libmojave/theories/experimental/compile/.ispell_english
+11 -6 metaprl-branches/lm_libmojave/theories/experimental/compile/m_closure.ml
+4 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_cps.ml
+1 -1 metaprl-branches/lm_libmojave/theories/experimental/compile/m_dead.ml
+1 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_closure.ml
+10 -8 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_cps.ml
+3 -4 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml
+1 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.ml
+2 -1 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_opt.ml
+1 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_parsing.ml
+4 -4 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_x86_asm.ml
+11 -9 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_x86_codegen.ml
+5 -4 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_x86_opt.ml
+6 -5 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_x86_regalloc.ml
+4 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_inline.ml
+6 -2 metaprl-branches/lm_libmojave/theories/experimental/compile/m_ir.ml
+4 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_prog.ml
+5 -1 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_asm.ml
+4 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_codegen.ml
+5 -1 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_opt.ml
+7 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_spill.ml