From f04f1a9004c3e754d581e71f8683d3ea7b562687 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 29 May 2000 15:50:18 +0000 Subject: Changed keybindings for coq specific functions --- coq/coq.el | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'coq') diff --git a/coq/coq.el b/coq/coq.el index 05a6e55b..c28216d9 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -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) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -- cgit v1.2.3