diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 13:05:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 13:05:33 +0000 |
| commit | cd3ef491548676110778e577f1d2bb9a4d857b52 (patch) | |
| tree | 534fbc441f6547cabd7aaa51893d772962af1d62 /plastic | |
| parent | 7df7035ebbc43c78ea45cd21a76663558c774fab (diff) | |
Updated keybinding syntax
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 6ae4b35e..fd7d8285 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -297,11 +297,11 @@ Given is the first SPAN which needs to be undone." (eval-after-load "plastic" ;; da: so that plastic-lit-string can be changed '(progn (eval `(proof-defshortcut plastic-Intros - ,(concat plastic-lit-string "Intros ") ?i)) + ,(concat plastic-lit-string "Intros ") [(control i)])) (eval `(proof-defshortcut plastic-Refine - ,(concat plastic-lit-string "Refine ") ?r)) + ,(concat plastic-lit-string "Refine ") [(control r)])) (eval `(proof-defshortcut plastic-ReturnAll - ,(concat plastic-lit-string "ReturnAll ") ?u)))) + ,(concat plastic-lit-string "ReturnAll ") [(control u)])))) |