From 5b95560042dfb195abd925be4660011811e29684 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 18 Jul 2002 19:20:46 +0000 Subject: Use x-symbol-enable switch to see whether to include sub/super/bold flks. --- isar/isar.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'isar') 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)) -- cgit v1.2.3