From cd3ef491548676110778e577f1d2bb9a4d857b52 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 13:05:33 +0000
Subject: Updated keybinding syntax

---
 plastic/plastic.el | 6 +++---
 1 file 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)]))))
 
 
 
-- 
cgit v1.2.3