Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-02-01 15:15:18 -0800 (Fri, 01 Feb 2002)
Revision: 3489
Log message:

      HTML style fixes.
      

Changes	Path
+4 -3	metaprl/doc/htmlman/developer-guide/debugging.html
+10 -8	metaprl/doc/htmlman/developer-guide/term_ds_free_vars.html
+0 -1	metaprl/doc/htmlman/user-guide/mp-axiom.html
+75 -70	metaprl/doc/htmlman/user-guide/mp-editor.html