Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 1999-05-03 11:40:52 -0700 (Mon, 03 May 1999)
Revision: 2650
Log message:

      Alexei & Alexey:
      Fixed some small typos in the documentation noticed by Alexei Kopylov.
      
      In partucular, interactive_rw was misspelled as interactiverw and
      the documentation was still referring to d_resource.improve_resource instead
      of Mp_resource.resource_improve
      

Changes  Path
+3 -3 metaprl/doc/htmlman/tutorial/mp-all.html
+3 -3 metaprl/doc/htmlman/tutorial/mp-base-auto.html
+2 -2 metaprl/doc/htmlman/tutorial/mp-not.html
+2 -2 metaprl/doc/htmlman/tutorial/mp-simple.html
+1 -1 metaprl/doc/htmlman/user-guide/mp-axiom.html
+2 -2 metaprl/doc/htmlman/user-guide/mp-dform.html
+1 -1 metaprl/doc/htmlman/user-guide/mp-index.html
+4 -4 metaprl/doc/htmlman/user-guide/mp-rewrite.html