aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar soraros <soraros@users.noreply.github.com>2018-12-19 21:03:43 +0800
committerGravatar GitHub <noreply@github.com>2018-12-19 21:03:43 +0800
commitda25a81ac86f25d2ce43a860c38fb798d53060af (patch)
tree0f5a38e7800bb183d6db1f98bcc75b67711c92fa
parent1854459fef368dfc8ca870792e7e3b065a2241c6 (diff)
Quote ?( ?)
-rw-r--r--coq/coq.el4
1 files 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