diff options
| -rw-r--r-- | isar/isar-syntax.el | 1 |
1 files changed, 0 insertions, 1 deletions
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) |