diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-19 09:47:28 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-19 09:47:28 +0000 |
| commit | a8aed84d6e209f9f44d9644ca957ada04820acf6 (patch) | |
| tree | 9106f22fe09d5267725ddda003172e3da3402847 /isar | |
| parent | 56e896be07003fc1c6df85e7761753603cdcb22a (diff) | |
isar-toolbar-entries: remove 'goal and 'qed;
Diffstat (limited to 'isar')
| -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 |