Replaced remaining face defs with defface calls.

Removed font-lock-<newface> with proof-<newface> so we
know where things come from and won't break future font locks.

1 files changed, 3 insertions, 3 deletions

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index eab8dc17..de92f427 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -400,7 +400,7 @@ error message. At the end it calls `proof-shell-handle-error-hook'. "
     ;;   detected by a regular expression.
   (proof-shell-handle-output
    proof-shell-error-regexp proof-shell-annotated-prompt-regexp
-   'font-lock-error-face)
+   'proof-error-face)
   (save-excursion (display-buffer proof-shell-buffer)
 		  (beep)
 
@@ -656,7 +656,7 @@ arrive."
   (let ((str (proof-shell-handle-output
 	      proof-shell-eager-annotation-start
 	      proof-shell-eager-annotation-end
-	      'font-lock-eager-annotation-face))
+	      'proof-eager-annotation-face))
 	file module)
     (proof-message str)))
 
@@ -717,7 +717,7 @@ arrive."
 	(t
 	 (proof-message message)
 	 (proof-response-buffer-display message
-					'font-lock-eager-annotation-face))))
+					'proof-eager-annotation-face))))
 
 (defun proof-shell-process-urgent-messages (str)
   "Scan the process output for urgent messages.