From da25a81ac86f25d2ce43a860c38fb798d53060af Mon Sep 17 00:00:00 2001 From: soraros Date: Wed, 19 Dec 2018 21:03:43 +0800 Subject: Quote ?( ?) --- coq/coq.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/coq/coq.el b/coq/coq.el index 2daeb2e0..0fe3faa7 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -2773,8 +2773,8 @@ Completion is on a quasi-exhaustive list of Coq tacticals." ;; Insertion commands (define-key coq-keymap [(control ?i)] 'coq-insert-intros) (define-key coq-keymap [(control ?m)] 'coq-insert-match) -(define-key coq-keymap [(control ?()] 'coq-insert-section-or-module) -(define-key coq-keymap [(control ?))] 'coq-end-Section) +(define-key coq-keymap [(control ?\()] 'coq-insert-section-or-module) +(define-key coq-keymap [(control ?\))] 'coq-end-Section) (define-key coq-keymap [(control ?t)] 'coq-insert-tactic) (define-key coq-keymap [?t] 'coq-insert-tactical) (define-key coq-keymap [?!] 'coq-insert-solve-tactic) ; will work in tty -- cgit v1.2.3