Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-03 23:59:38 -0800 (Fri, 03 Jan 2003)
Revision: 3977
Log message:

      Updated all the HTML files to be (hopefully) in correct
      "HTML 4.01 Transitional" compliant syntax.
      

Changes	Path
+5 -1	metaprl/doc/htmlman/chars/table.html
+5 -3	metaprl/doc/htmlman/default.html
+2 -0	metaprl/doc/htmlman/developer-guide/debugging.html
+6 -3	metaprl/doc/htmlman/developer-guide/default.html
+2 -0	metaprl/doc/htmlman/developer-guide/exceptions.html
+2 -0	metaprl/doc/htmlman/developer-guide/indentation_and_spacing.html
+2 -1	metaprl/doc/htmlman/developer-guide/mp-index.html
+2 -0	metaprl/doc/htmlman/developer-guide/profiling.html
+2 -0	metaprl/doc/htmlman/developer-guide/refiner_verb_and_simp.html
+2 -0	metaprl/doc/htmlman/developer-guide/term_ds_free_vars.html
+2 -0	metaprl/doc/htmlman/developer-guide/term_ds_safety.html
+2 -0	metaprl/doc/htmlman/developer-guide/term_modules.html
+6 -4	metaprl/doc/htmlman/framework/default.html
+2 -1	metaprl/doc/htmlman/framework/mp-framework.html
+2 -1	metaprl/doc/htmlman/framework/mp-index.html
+6 -4	metaprl/doc/htmlman/goals.html
+5 -3	metaprl/doc/htmlman/install.html
+4 -3	metaprl/doc/htmlman/license.html
+2 -0	metaprl/doc/htmlman/mp-cvs-rw.html
+2 -1	metaprl/doc/htmlman/mp-index.html
+2 -1	metaprl/doc/htmlman/mp-install.html
+2 -1	metaprl/doc/htmlman/mp-links.html
+2 -1	metaprl/doc/htmlman/mp-people.html
+2 -1	metaprl/doc/htmlman/mp.html
+6 -4	metaprl/doc/htmlman/people.html
+6 -4	metaprl/doc/htmlman/seminars.html
+6 -4	metaprl/doc/htmlman/system/default.html
+2 -1	metaprl/doc/htmlman/system/mp-auto-tactic.html
+2 -1	metaprl/doc/htmlman/system/mp-base-cache.html
+2 -1	metaprl/doc/htmlman/system/mp-base-syntax.html
+2 -1	metaprl/doc/htmlman/system/mp-base.html
+2 -1	metaprl/doc/htmlman/system/mp-chaining.html
+2 -1	metaprl/doc/htmlman/system/mp-conversionals.html
+2 -0	metaprl/doc/htmlman/system/mp-d-tactic.html
+2 -1	metaprl/doc/htmlman/system/mp-editor-imp.html
+2 -1	metaprl/doc/htmlman/system/mp-ensemble.html
+2 -1	metaprl/doc/htmlman/system/mp-filter.html
+2 -1	metaprl/doc/htmlman/system/mp-index.html
+2 -1	metaprl/doc/htmlman/system/mp-itt.html
+2 -1	metaprl/doc/htmlman/system/mp-ocaml.html
+2 -1	metaprl/doc/htmlman/system/mp-refine.html
+2 -1	metaprl/doc/htmlman/system/mp-refiner.html
+2 -1	metaprl/doc/htmlman/system/mp-rewrite.html
+2 -1	metaprl/doc/htmlman/system/mp-tactic.html
+2 -1	metaprl/doc/htmlman/system/mp-tacticals.html
+2 -1	metaprl/doc/htmlman/system/mp-terms.html
+2 -1	metaprl/doc/htmlman/system/mp-type-inf-rsrc.html
+6 -4	metaprl/doc/htmlman/tutorial/default.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-all.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-base-auto.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-base.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-class.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-ctheory.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-getting-started.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-index.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-not.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-simple.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-struct.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-theory.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-tutorial.html
+2 -1	metaprl/doc/htmlman/tutorial/mp-type.html
+6 -4	metaprl/doc/htmlman/user-guide/default.html
+2 -1	metaprl/doc/htmlman/user-guide/mp-axiom.html
+2 -0	metaprl/doc/htmlman/user-guide/mp-dform.html
+2 -1	metaprl/doc/htmlman/user-guide/mp-editor.html
+2 -1	metaprl/doc/htmlman/user-guide/mp-font.html
+2 -1	metaprl/doc/htmlman/user-guide/mp-index.html
+2 -1	metaprl/doc/htmlman/user-guide/mp-modules.html
+2 -1	metaprl/doc/htmlman/user-guide/mp-rewrite.html
+2 -0	metaprl/doc/htmlman/user-guide/mp-terms.html