diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-10-04 13:35:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-04 13:35:00 +0000 |
| commit | 55ba3f1b0ed77dde5265cfebb3388c9d79d5a311 (patch) | |
| tree | 0a7f56542471dad65e7345484f3a773a77fe8458 /doc/ProofGeneral.texi | |
| parent | 99929d06aac9631eec70d0f7e4a774ed057c693d (diff) | |
Fix some mouse bindings
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 5 |
1 files 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 |