From 322b5d4510860159f295f86a369c3a94665b91ab Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 2 Jul 2002 11:16:29 +0000
Subject: Remove FIXME: have added definition of font-lock-preprocessor-face

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 7e993f04..5102bf0f 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -280,7 +280,6 @@
    (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)
-   ;; FIXME da: font-lock-preprocessor-face does not exist on GNU Emacs.
    (cons (isar-ids-to-regexp isar-keywords-theory-enclose) 'font-lock-preprocessor-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)
-- 
cgit v1.2.3