Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-30 22:30:00 -0800 (Wed, 30 Oct 2002)
Revision: 3919
Log message:

      Removed all the remaining references to the mp12 font.
      
      The prl-hack mode will now use -misc-fixed-medium-r-normal--15-140-75-75-c-90-iso10646-1
      by default.
      
      P.S. I've also removed a workaround that Carl had for a bug
      in the Debian's emacs package 20.3-8, hopefully it is no longer needed.
      

Changes	Path
+7 -5	metaprl/doc/htmlman/mp-install.html
+2 -1	metaprl/doc/htmlman/user-guide/mp-dform.html
+1 -10	metaprl/editor/emacs/prl-hack.el
+7 -8	metaprl/editor/ml/QUICKSTART