Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-26 14:26:49 -0700 (Mon, 26 Apr 2004)
Revision: 5729
Log message:

      MP_DEBUG=spell fixes.
      

Changes	Path
+63 -71	metaprl/filter/filter/term_grammar.ml
+2 -0	metaprl/lib/words
+2 -4	metaprl/theories/experimental/compile/m_doc_intro_fdl.ml
+4 -11	metaprl/theories/experimental/compile/m_doc_summary_fdl.ml
+4 -4	metaprl/theories/itt/itt_eq_base.ml
+1 -1	metaprl/theories/itt/itt_intdomain.ml
+1 -1	metaprl/theories/itt/itt_intdomain_e.ml
+1 -1	metaprl/theories/itt/itt_nequal.ml
+6 -6	metaprl/theories/itt/itt_order.ml
+17 -12	metaprl/theories/itt/itt_record_renaming.ml
+2 -2	metaprl/theories/itt/itt_ring_uce.ml
+2 -2	metaprl/theories/itt/itt_unitring.ml
+4 -4	metaprl/theories/ocaml_doc/ocaml_doc_io1.ml