From 7c941c69e4d76c9f9c0b7cf3b5779d728c8269e5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:43:34 +0000
Subject: thy mode binding made to match with script mode

---
 isa/isa.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/isa.el b/isa/isa.el
index d84a42b5..ae80f4c9 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -350,7 +350,7 @@ isa-proofscript-mode."
  ;; Extend theory mode keymap
  '(let ((map thy-mode-map))
 (define-key map "\C-c\C-b" 'isa-process-thy-file)
-(define-key map "\C-c\C-u" 'isa-retract-thy-file)))
+(define-key map "\C-c\C-r" 'isa-retract-thy-file)))
 
 ;; FIXME: could test that the buffer isn't already locked.
 (defun isa-process-thy-file (file)
-- 
cgit v1.2.3