aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-23 09:50:24 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-23 09:50:24 +0000
commit46620558210c52a6ca510a77f2ae3bfc48941a05 (patch)
tree3a9184e10e81a101311c5a67fe2b899484cea67a /lego
parent2e7671f6c80becf896ca1ba4f0f5cb8e05e3b281 (diff)
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.
Diffstat (limited to 'lego')
-rw-r--r--lego/lego-syntax.el4
1 files changed, 2 insertions, 2 deletions
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 *\\(("