diff options
| -rw-r--r-- | isar/isar.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 13822fd1..2dd1954b 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -30,6 +30,12 @@ (require 'isabelle-system) +;; Adjust toolbar entries (must be done before proof-toolbar is loaded). + +(if proof-running-on-XEmacs + (setq isar-toolbar-entries + (remassoc 'qed (remassoc 'goal isar-toolbar-entries)))) + ;;; ;;; theory header |