diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 14:14:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 14:14:02 +0000 |
| commit | 68ffcc6cd4ea9c6053cafc6ca9a42ce78d954742 (patch) | |
| tree | 354bf70ac55c1f7ac0995e7a877122583e13b957 /isar/isar.el | |
| parent | 044f48d423f2f6e33b9cf068be6ef87219ad55db (diff) | |
Move x-symbol-isabelle -> x-symbol-isar to simplify setup.
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/isar/isar.el b/isar/isar.el index 401c628c..1c3f86c1 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -569,8 +569,8 @@ Checks the width in the `proof-goals-buffer'" (setq font-lock-keywords (append isar-output-font-lock-keywords-1 - (if (boundp 'x-symbol-isabelle-font-lock-keywords) - x-symbol-isabelle-font-lock-keywords))) + (if (boundp 'x-symbol-isar-font-lock-keywords) + x-symbol-isar-font-lock-keywords))) (isar-shell-mode-config-set-variables) (proof-shell-config-done)) @@ -580,7 +580,7 @@ Checks the width in the `proof-goals-buffer'" (append isar-output-font-lock-keywords-1 (if (proof-ass x-symbol-enable) - x-symbol-isabelle-font-lock-keywords))) + x-symbol-isar-font-lock-keywords))) (proof-response-config-done)) (defun isar-goals-mode-config () @@ -591,7 +591,7 @@ Checks the width in the `proof-goals-buffer'" (append isar-goals-font-lock-keywords (if (proof-ass x-symbol-enable) - x-symbol-isabelle-font-lock-keywords))) + x-symbol-isar-font-lock-keywords))) (proof-goals-config-done)) (defun isar-goalhyplit-test () |