From 1be8575cb590ac3f18497845ee1b8fe3b292704c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 13 Sep 2000 15:19:23 +0000
Subject: Add removal of state button as test example. Replace af2-with-xemacs
 -> proof-running-on-XEmacs.

---
 af2/af2.el | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/af2/af2.el b/af2/af2.el
index b0c9314c..e36f6058 100644
--- a/af2/af2.el
+++ b/af2/af2.el
@@ -1,6 +1,12 @@
 (require 'proof)			; load generic parts
 (require 'sym-lock)
 
+;; Adjust toolbar entries.  (Must be done
+;; before proof-toolbar is loaded).
+
+(setq af2-toolbar-entries
+      (remassoc 'state af2-toolbar-entries))
+
 ;; ======== User settings for Af2 ========
 ;;
 ;; Defining variables using customize is pretty easy.
@@ -100,7 +106,7 @@
 (defun af2-tags-add-table(table)
   "add tags table"
   (interactive "D directory, location of a file named TAGS to add : ")
-  (if af2-with-xemacs
+  (if proof-running-on-XEmacs
       (let ((association (cons buffer-file-name table)))
 	(if (member association tag-table-alist)
 	    (message (concat table " already loaded."))
@@ -118,7 +124,7 @@
   "Set tags-table-list to nil."
   (interactive)
 ;  (make-local-variable 'tags-table-list)
-  (if af2-with-xemacs
+  (if proof-running-on-XEmacs
       (setq tag-table-alist (remassoc buffer-file-name tag-table-alist))
     (setq tags-table-list nil))
   )
-- 
cgit v1.2.3