Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-27 21:10:32 -0800 (Thu, 27 Mar 2003)
Revision: 4272
Log message:

      - Make sure the system compiles with TESTS=yes (these fixes are already on
      the trunk, but not yet on this branch).
      - More MP_DEBUG=spell fixes (in lot of theories - we definitely need to start
      thinking when and how we are planning to merge things back to the trunk).
      - A few comment updates.
      

Changes  Path
+4 -4 metaprl-branches/lm_libmojave/doc/latex/theories/m-paper.tex
+6 -9 metaprl-branches/lm_libmojave/editor/ml/tests/prop-pigeon.ml
+1 -0 metaprl-branches/lm_libmojave/filter/filter/filter_parse.ml
+15 -0 metaprl-branches/lm_libmojave/lib/words
+3 -6 metaprl-branches/lm_libmojave/theories/czf/czf_itt_set.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_arith.ml
+9 -12 metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_state.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_reserve.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_standardize.ml
+1 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_test.ml
+1 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_theory.ml
+1 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_util.ml
+3 -4 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.ml
+1 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_coalesce.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_frame.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_inst_type.mlz
+1 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_regalloc.ml
+2 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_term.ml
+1 -1 metaprl-branches/lm_libmojave/theories/fir/mfir_record.ml
+1 -1 metaprl-branches/lm_libmojave/theories/fir/mfir_sequent.ml
+1 -1 metaprl-branches/lm_libmojave/theories/fir/mfir_theory.mlz
+2 -2 metaprl-branches/lm_libmojave/theories/fir/mfir_tr_base.ml
+1 -1 metaprl-branches/lm_libmojave/theories/fir/mfir_tr_exp.ml
+1 -1 metaprl-branches/lm_libmojave/theories/fir/mfir_tr_store.ml
+8 -10 metaprl-branches/lm_libmojave/theories/itt/itt_list2.ml
+3 -4 metaprl-branches/lm_libmojave/theories/itt/itt_relation_str.ml
+3 -2 metaprl-branches/lm_libmojave/theories/itt/itt_set_str.ml
+0 -8 metaprl-branches/lm_libmojave/theories/itt/itt_subset.ml
+4 -4 metaprl-branches/lm_libmojave/theories/itt/itt_test.ml
+1 -1 metaprl-branches/lm_libmojave/theories/itt/jprover_tests.ml
+2 -3 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_class1.ml
+2 -3 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_exn1.ml
+13 -13 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_expr1.ml
+8 -8 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_expr2.ml
+2 -2 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_expr3.ml
+2 -3 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_expr4.ml
+8 -8 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_intro.ml
+3 -4 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_io1.ml
+9 -10 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_mod1.ml
+3 -4 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_mod2.ml
+4 -4 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_patt1.ml
+13 -13 metaprl-branches/lm_libmojave/theories/ocaml_doc/ocaml_doc_var1.ml