From 6bf9310b98723952fb40e94aea45c0df3115403c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Aug 2009 12:48:55 +0000
Subject: Add info command to toolbar, and re-enable command, interrupt,
 restart.

---
 generic/pg-custom.el | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/generic/pg-custom.el b/generic/pg-custom.el
index 7445c0e4..ed869229 100644
--- a/generic/pg-custom.el
+++ b/generic/pg-custom.el
@@ -70,9 +70,10 @@ support depends on whether your proof assistant supports it."
     (qed       "Finish Proof"       "Close/save proved theorem" t nil)
     (home      "Goto Locked End"    "Goto end of the last command proceesed" t t)
     (find      "Find Theorems"	    "Find theorems" t proof-find-theorems-command)
-    (command   "Issue Command"	    "Issue a non-scripting command" nil)
-    (interrupt "Interrupt Prover"   "Interrupt the proof assistant" t)
-    (restart   "Restart Scripting"  "Restart scripting (clear all locked regions)" t)
+    (info      "Identifier Info"    "Information about identifier" t proof-query-identifier-command)
+    (command   "Issue Command"	    "Issue a non-scripting command" t t)
+    (interrupt "Interrupt Prover"   "Interrupt the proof assistant" t t)
+    (restart   "Restart Scripting"  "Restart scripting (clear all locked regions)" t t)
     (visibility "Toggle Visibility" "Show or hide hidden proofs" nil t)
     (help	nil		    "Proof General manual" t t))
 "Example value for proof-toolbar-entries.  Also used to define scripting menu.
-- 
cgit v1.2.3