diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-02 11:16:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-02 11:16:29 +0000 |
| commit | 322b5d4510860159f295f86a369c3a94665b91ab (patch) | |
| tree | 25438f7ad0a723d237acf2bc22ab7aae2da5d9a5 /isar | |
| parent | 05b29b3e3ba90cf04332d8cf557357344d8f70c4 (diff) | |
Remove FIXME: have added definition of font-lock-preprocessor-face
Diffstat (limited to 'isar')
| -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) |