Proof General Error Color

Pierre Letouzey edited this page Oct 27, 2017 · 4 revisions

By default, Proof General displays error messages as black text on a red background. You can change this using with the following Emacs Lisp code.

(add-hook 'proof-mode-hook
   '(lambda ()
      (set-face-background (quote proof-error-face) "white")))

Alternatively, within emacs, run

M-x customize-face

When prompted for a face, specify proof-error-face.

Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.