Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-26 22:41:35 -0700 (Tue, 26 Oct 1999)
Revision: 2830
Log message:

      More fixes
      
      I have finished proof-reading the introduction and the user's guide and
      I still have tutorial and system description left.
      

Changes  Path
+2 -1 metaprl/BUGS
+1 -1 metaprl/doc/Makefile
+36 -38 metaprl/doc/htmlman/user-guide/mp-axiom.html
+15 -17 metaprl/doc/htmlman/user-guide/mp-editor.html
+8 -9 metaprl/doc/htmlman/user-guide/mp-modules.html
+7 -14 metaprl/doc/htmlman/user-guide/mp-rewrite.html
+3 -3 metaprl/doc/htmlman/user-guide/mp-user-guide.html