From ced3a1af33d898664d55671ab4c713d738a33921 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 29 May 2000 15:52:42 +0000 Subject: Changed keybindings for lego specific functions --- lego/lego.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lego') diff --git a/lego/lego.el b/lego/lego.el index c15cfcdd..1f700f5d 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -273,9 +273,9 @@ Given is the first SPAN which needs to be undone." ;; Commands specific to lego ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(proof-defshortcut lego-Intros "Intros " [?I]) -(proof-defshortcut lego-intros "intros " [?i]) -(proof-defshortcut lego-Refine "Refine " [?r]) +(proof-defshortcut lego-Intros "Intros " [(control I)]) +(proof-defshortcut lego-intros "intros " [(control i)]) +(proof-defshortcut lego-Refine "Refine " [(control r)]) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Lego Indentation ;; -- cgit v1.2.3