From 746a8e5db525656889e4c8712e7d082692da3527 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 20 Nov 2009 13:52:26 +0000 Subject: Small Fix. --- coq/coq.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq') diff --git a/coq/coq.el b/coq/coq.el index b86707bd..e5becd80 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -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) -- cgit v1.2.3