From e80651bd5fd4dc30c70f74123a63621996a1f0a0 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 6 Sep 2005 16:58:28 +0000
Subject: tuned isar-keywords-theory-enclose;

---
 isar/isar-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 314d0837..3018c61d 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -346,7 +346,7 @@ matches contents of quotes for quoted identifiers.")
    (cons (isar-ids-to-regexp isar-keywords-minor)          'font-lock-type-face)
    (cons (isar-ids-to-regexp isar-keywords-control)        'proof-error-face)
    (cons (isar-ids-to-regexp isar-keywords-diag)           'proof-tacticals-name-face)
-   (cons (isar-ids-to-regexp isar-keywords-theory-enclose) 'font-lock-preprocessor-face)
+   (cons (isar-ids-to-regexp isar-keywords-theory-enclose) 'font-lock-type-face)
    (cons (isar-ids-to-regexp isar-keywords-theory)         'font-lock-keyword-face)
    (cons (isar-ids-to-regexp isar-keywords-proof-enclose)  'font-lock-preprocessor-face)
    (cons (isar-ids-to-regexp isar-keywords-proof)          'font-lock-keyword-face)
-- 
cgit v1.2.3