From 46620558210c52a6ca510a77f2ae3bfc48941a05 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 Oct 1998 09:50:24 +0000
Subject: 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.

---
 coq/coq-syntax.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'coq')

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 4e1c8c14..ba5fc09b 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -167,10 +167,10 @@
   (list
 
    ;; lambda binders
-   (list (coq-abstr-regexp "\\[" ":") 1 'font-lock-declaration-name-face)
+   (list (coq-abstr-regexp "\\[" ":") 1 'proof-declaration-name-face)
 
    ;; Pi binders
-   (list (coq-abstr-regexp "(" ":") 1 'font-lock-declaration-name-face)
+   (list (coq-abstr-regexp "(" ":") 1 'proof-declaration-name-face)
    
    ;; Kinds
    (cons (concat "\\<Prop\\>\\|\\<Set\\>\\|\\<Type\\s-*\\(("
@@ -202,10 +202,10 @@
     coq-font-lock-terms
     (list
      (cons (ids-to-regexp coq-keywords) 'font-lock-keyword-face)
-     (cons (ids-to-regexp coq-tacticals) 'font-lock-tacticals-name-face)
+     (cons (ids-to-regexp coq-tacticals) 'proof-tacticals-name-face)
 
      (list coq-goal-with-hole-regexp 2 'font-lock-function-name-face)
-     (list coq-decl-with-hole-regexp 2 'font-lock-declaration-name-face)
+     (list coq-decl-with-hole-regexp 2 'proof-declaration-name-face)
      (list coq-defn-with-hole-regexp 2 'font-lock-function-name-face)
      (list coq-save-with-hole-regexp 2 'font-lock-function-name-face))))
 
-- 
cgit v1.2.3