diff options
author | Clément Pit-Claudel <cpitclaudel@users.noreply.github.com> | 2018-12-19 14:28:55 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-19 14:28:55 -0500 |
commit | 883ce2ff1092003b6341cfebd1d7b2ab31239a41 (patch) | |
tree | 0f5a38e7800bb183d6db1f98bcc75b67711c92fa | |
parent | 1854459fef368dfc8ca870792e7e3b065a2241c6 (diff) | |
parent | da25a81ac86f25d2ce43a860c38fb798d53060af (diff) |
Merge pull request #410 from soraros/patch-1
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 |