From a8aed84d6e209f9f44d9644ca957ada04820acf6 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 19 Sep 2000 09:47:28 +0000
Subject: isar-toolbar-entries: remove 'goal and 'qed;

---
 isar/isar.el | 6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
cgit v1.2.3