diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 19:20:46 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 19:20:46 +0000 |
| commit | 5b95560042dfb195abd925be4660011811e29684 (patch) | |
| tree | 9af67c8582d611b7727bb2102adf3417ba3f9414 /isar | |
| parent | 831048a216df7cd4a9b8faeac182ad1389783dc6 (diff) | |
Use x-symbol-enable switch to see whether to include sub/super/bold flks.
Diffstat (limited to 'isar')
| -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 781506e9..36bf8853 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -309,8 +309,8 @@ proof-shell-retract-files-regexp." (eval-and-compile ; to define vars for byte comp. (define-derived-mode isar-mode proof-mode - "Isabelle/Isar script" nil - (isar-mode-config))) + "Isabelle/Isar script" nil + (isar-mode-config))) @@ -566,7 +566,7 @@ proof-shell-retract-files-regexp." (setq font-lock-keywords (append isar-output-font-lock-keywords-1 - (if (boundp 'x-symbol-isabelle-font-lock-keywords) + (if (proof-ass x-symbol-enable) x-symbol-isabelle-font-lock-keywords))) (proof-response-config-done)) @@ -578,7 +578,7 @@ proof-shell-retract-files-regexp." (setq font-lock-keywords (append isar-goals-font-lock-keywords - (if (boundp 'x-symbol-isabelle-font-lock-keywords) + (if (proof-ass x-symbol-enable) x-symbol-isabelle-font-lock-keywords))) (proof-goals-config-done)) |