Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-04-27 16:53:39 -0700 (Tue, 27 Apr 2004)
Revision: 5734
Log message:

      Spelling should not be checked inside the tt and rulebox operators (since
      those never contain English text).
      

Changes	Path
+5 -0	metaprl/filter/filter/term_grammar.ml
+7 -10	metaprl/support/display/comment.ml
+3 -4	metaprl/support/tactics/auto_tactic.ml
+0 -4	metaprl/support/tactics/dtactic.ml
+2 -4	metaprl/support/tactics/top_conversionals.ml
+0 -3	metaprl/support/tactics/top_tacticals.ml
+3 -3	metaprl/theories/base/base_rewrite.ml
+0 -1	metaprl/theories/czf/czf_itt_abel_group.ml
+0 -1	metaprl/theories/czf/czf_itt_cyclic_group.ml
+0 -1	metaprl/theories/czf/czf_itt_cyclic_subgroup.ml
+0 -1	metaprl/theories/czf/czf_itt_dall.ml
+0 -1	metaprl/theories/czf/czf_itt_dexists.ml
+15 -38	metaprl/theories/czf/czf_itt_eq.ml
+1 -2	metaprl/theories/czf/czf_itt_equiv.ml
+2 -20	metaprl/theories/czf/czf_itt_fol.mlz
+1 -2	metaprl/theories/czf/czf_itt_group.ml
+1 -2	metaprl/theories/czf/czf_itt_group_bvd.ml
+1 -2	metaprl/theories/czf/czf_itt_group_power.ml
+1 -2	metaprl/theories/czf/czf_itt_inv_image.ml
+2 -5	metaprl/theories/czf/czf_itt_isect.ml
+1 -2	metaprl/theories/czf/czf_itt_iso.ml
+10 -29	metaprl/theories/czf/czf_itt_member.ml
+10 -33	metaprl/theories/czf/czf_itt_nat.ml
+1 -2	metaprl/theories/czf/czf_itt_normal_subgroup.ml
+7 -22	metaprl/theories/czf/czf_itt_power.ml
+1 -1	metaprl/theories/itt/itt_decidable.ml
+1 -1	metaprl/theories/itt/itt_int_arith.ml
+2 -5	metaprl/theories/itt/itt_logic.ml
+5 -5	metaprl/theories/itt/itt_record_renaming.ml