diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2009-11-20 13:53:31 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2009-11-20 13:53:31 +0000 |
| commit | 7e3a6a9ade7bbde17ba15c13764ecbe019d356ca (patch) | |
| tree | ee5fc772622f3d681f23c6e1a2c1b67dcacb638f /coq | |
| parent | 746a8e5db525656889e4c8712e7d082692da3527 (diff) | |
Small Fix (again).
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1201,7 +1201,7 @@ be asked to the user." (define-key coq-keymap [(control ?p)] 'coq-Print) (define-key coq-keymap [(control ?b)] 'coq-About) -(define-key coq-keymap [(control ?a)] 'coq-searchAbout) +(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 ?l)] 'coq-LocateConstant) |