diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-22 21:25:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-22 21:25:56 +0000 |
| commit | 28f1ec5e4b40cb3c2dc71f53ba3a4c326fa42f1e (patch) | |
| tree | 904c6783713285ec7809a62f9b783b2e5d25a025 | |
| parent | c5f42020bd597c1b37b557548dbe6c6bb331cb24 (diff) | |
Change binding for coq-PrintHint as suggested in Trac #341
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1248,7 +1248,7 @@ be asked to the user." (define-key coq-keymap [(control ?b)] 'coq-About) (define-key coq-keymap [(control ?a)] 'coq-SearchAbout) (define-key coq-keymap [(control ?c)] 'coq-Check) -(define-key coq-keymap [(control ?h)] 'coq-PrintHint) +(define-key coq-keymap [(control ?H)] 'coq-PrintHint) (define-key coq-keymap [(control ?l)] 'coq-LocateConstant) (define-key coq-keymap [(control ?n)] 'coq-LocateNotation) |