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.

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

(limited to 'lego')

diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el
index 5c551a6d..a70b627c 100644
--- a/lego/lego-syntax.el
+++ b/lego/lego-syntax.el
@@ -64,7 +64,7 @@
 
    ; lambda binders
      (list (lego-decl-defn-regexp "[:|]") 1
-	   'font-lock-declaration-name-face)
+	   'proof-declaration-name-face)
 
      ; let binders
      (list lego-definiendum-alternative-regexp 1 'font-lock-function-name-face)
@@ -72,7 +72,7 @@
 
      ; Pi and Sigma binders
      (list (concat "[{<]\\s *\\(" lego-ids "\\)") 1
-	   'font-lock-declaration-name-face)
+	   'proof-declaration-name-face)
    
      ;; Kinds
      (cons (concat "\\<Prop\\>\\|\\<Type\\s *\\(("
-- 
cgit v1.2.3