Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-04 00:19:43 -0800 (Sat, 04 Jan 2003)
Revision: 3978
Log message:

      Some more HTML fixes.
      

Changes	Path
+10 -10	metaprl/doc/htmlman/mp-install.html
+2 -2	metaprl/doc/htmlman/system/mp-tacticals.html
+5 -5	metaprl/doc/htmlman/user-guide/mp-terms.html