From 2b4fd844764c879be213db695821847b351ef373 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 12 Nov 1998 14:44:44 +0000
Subject: In a fit of autocracy, removed proof-tags-support, binding for M-tab
 and appearance of Find Tags in PG menu.  The menu entry already appears in
 Tools->Tags, and users should bind M-tab for themselves.

---
 generic/proof-script.el | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 8e92e200..5de35455 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1397,11 +1397,6 @@ No action if BUF is nil."
       :active (proof-shell-live-buffer)]
      ["Exit proof assistant" proof-menu-exit
       :active (proof-shell-live-buffer)])
-    (if proof-tags-support
-	(list
-	 "----"
-	 ["Find definition/declaration" find-tag-other-window t])
-      nil)
     (list proof-help-menu)
     (list proof-buffer-menu))
   "Proof General menu for various modes.")
-- 
cgit v1.2.3