diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 18:36:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 18:36:47 +0000 |
commit | 487ce28ec1eb510d23db616509cc9aa817c8c043 (patch) | |
tree | 60d5629921210ddbc06fe1fe2c4e26676c081342 /isar | |
parent | af3459ac2fb7e5d4c6891fa9602a3ae84468c34e (diff) |
Fix goals font lock keywords.
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 55a3b4f2..781506e9 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -577,7 +577,7 @@ proof-shell-retract-files-regexp." (isar-init-output-syntax-table) (setq font-lock-keywords (append - isar-output-font-lock-keywords-1 + isar-goals-font-lock-keywords (if (boundp 'x-symbol-isabelle-font-lock-keywords) x-symbol-isabelle-font-lock-keywords))) (proof-goals-config-done)) |