Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-31 18:04:09 -0800 (Sun, 31 Oct 1999)
Revision: 2836
Log message:

      Fixed some links, updated some information, added rwhigher info.
      

Changes	Path
+3 -3	metaprl/doc/htmlman/system/mp-index.html
+19 -15	metaprl/doc/htmlman/system/mp-refine.html
+7 -3	metaprl/doc/htmlman/system/mp-refiner.html
+2 -2	metaprl/doc/htmlman/system/mp-rewrite.html
+5 -4	metaprl/doc/htmlman/system/mp-terms.html
+4 -4	metaprl/doc/htmlman/tutorial/mp-index.html
+4 -4	metaprl/doc/htmlman/user-guide/mp-index.html