diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 15:50:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 15:50:18 +0000 |
commit | f04f1a9004c3e754d581e71f8683d3ea7b562687 (patch) | |
tree | d4da5bc729231a435168b3e4aed69167262fd485 /coq | |
parent | 5898ffb4465a94cdcae6667120b38ddff47f6b51 (diff) |
Changed keybindings for coq specific functions
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -67,7 +67,7 @@ ;; Command to initialize the Coq Proof Assistant (defconst coq-shell-init-cmd - (format "Set Undo %s" coq-default-undo-limit)) + (format "Set Undo %s." coq-default-undo-limit)) ;; Command to reset the Coq Proof Assistant (defconst coq-shell-restart-cmd @@ -317,13 +317,13 @@ This is specific to coq-mode." (l (string-match ".v" n))) (compile (concat "make " (substring n 0 l) ".vo")))) -(proof-defshortcut coq-Intros "Intros " [?i]) -(proof-defshortcut coq-Apply "Apply " [?a]) -(proof-defshortcut coq-begin-Section "Section " [?s]) +(proof-defshortcut coq-Intros "Intros " [(control ?i)]) +(proof-defshortcut coq-Apply "Apply " [(control ?a)]) +(proof-defshortcut coq-begin-Section "Section " [(control ?s)]) -(define-key coq-keymap [?e] 'coq-end-Section) -(define-key coq-keymap [?m] 'coq-Compile) -(define-key coq-keymap [?o] 'coq-SearchIsos) +(define-key coq-keymap [(control ?e)] 'coq-end-Section) +(define-key coq-keymap [(control ?m)] 'coq-Compile) +(define-key coq-keymap [(control ?o)] 'coq-SearchIsos) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |