diff options
| -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)) |