From 78e66a1b0c876d8db2443d1b69171e3d6ca5abaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Aug 2009 12:53:20 +0000
Subject: Add key binding for proof-query-identifier

---
 generic/proof-menu.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index e65819ae..8ebb0f09 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -98,6 +98,7 @@ without adjusting window layout."
   (define-key map [(control c) (control r)] 'proof-retract-buffer)
   (define-key map [(control c) (control s)] 'proof-toggle-active-scripting)
   (define-key map [(control c) (control t)] 'proof-ctxt)
+  (define-key map [(control c) (control i)] 'proof-query-identifier)
   ;; C-c C-u is proof-undo-last-successful-command in universal-keys
   ;; C-c C-w is pg-response-clear-displays in universal-keys
   (define-key map [(control c) (control z)] 'proof-frob-locked-end)
-- 
cgit v1.2.3