diff options
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 ;; |