diff options
author | 2009-11-20 13:52:26 +0000 | |
---|---|---|
committer | 2009-11-20 13:52:26 +0000 | |
commit | 746a8e5db525656889e4c8712e7d082692da3527 (patch) | |
tree | 5e62887fa562556f0d8ffeccab6d3a897e65c9d0 /coq | |
parent | e71987398b7e13e07c66666ce871075f65a7fa05 (diff) |
Small Fix.
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) |