From 55ba3f1b0ed77dde5265cfebb3388c9d79d5a311 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 4 Oct 2010 13:35:00 +0000
Subject: Fix some mouse bindings

---
 doc/ProofGeneral.texi | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 19d8b8ac..b55951c7 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1552,6 +1552,7 @@ Issues a command to the assistant based on @code{proof-info-command}.
 Query the prover about the identifier @var{string}.@*
 If called interactively, @var{string} defaults to the current word near point.
 @end deffn
+
 @c TEXI DOCSTRING MAGIC: proof-find-theorems
 @deffn Command proof-find-theorems arg
 Search for items containing given constants.@*
@@ -2867,9 +2868,9 @@ The mouse bindings are these:
 @table @kbd
 @c @item button2
 @c FIXME: @code{pg-goals-button-action}
-@item C-button2
+@item C-M-mouse-3
 @code{proof-undo-and-delete-last-successful-command}
-@item button3
+@item mouse-3
 @code{pg-goals-yank-subterm}
 @end table
 
-- 
cgit v1.2.3