diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 15:52:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 15:52:42 +0000 |
| commit | ced3a1af33d898664d55671ab4c713d738a33921 (patch) | |
| tree | 88512affe1e721b788ca1645abb2ce8131830add /lego | |
| parent | f04f1a9004c3e754d581e71f8683d3ea7b562687 (diff) | |
Changed keybindings for lego specific functions
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego.el | 6 |
1 files changed, 3 insertions, 3 deletions
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 ;; |