diff options
author | soraros <soraros@users.noreply.github.com> | 2018-12-19 21:03:43 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-19 21:03:43 +0800 |
commit | da25a81ac86f25d2ce43a860c38fb798d53060af (patch) | |
tree | 0f5a38e7800bb183d6db1f98bcc75b67711c92fa | |
parent | 1854459fef368dfc8ca870792e7e3b065a2241c6 (diff) |
Quote ?( ?)
-rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |