Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-10 17:15:39 -0800 (Wed, 10 Mar 1999)
Revision: 2617
Log message:

      - Link to Ensemble home page
      - Use mpopt and mptop, not mp
      - Refer to mp12 as "MetaPRL font", not "Nuprl font"
      

Changes  Path
+13 -12 metaprl/doc/htmlman/mp-install.html