From 755234d9672b0a3cb2ddb000066d1af25a1237c1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jan 2006 08:29:05 +0000
Subject: PG 3.6: remove Info item from toolbar; it's not very useful and under
 PA->Help anyway

---
 generic/proof-config.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 628b689b..fb8218db 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -739,8 +739,9 @@ If a function, it should return the command string to insert."
     (interrupt  "Interrupt Prover"    "Interrupt the proof assistant (warning: may break synchronization)" t)
     (restart	"Restart Scripting"   "Restart scripting (clear all locked regions)" t)
     (visibility "Toggle Visibility"   nil t)
-    (info	nil		      "Show online proof assistant information" t
-				      proof-info-command)
+; PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Help anyway
+;    (info	nil		      "Show online proof assistant information" t
+;				      proof-info-command)
     (help	nil		      "Proof General manual" t))
 "Example value for proof-toolbar-entries.  Also used to define scripting menu.
 This gives a bare toolbar that works for any prover, providing the
-- 
cgit v1.2.3