diff options
| -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)])))) |