From 556202ba97e1dfd2106baf6e2b7eac4fececd691 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 Nov 1999 12:14:05 +0000
Subject: Add universal keys to theory mode

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

diff --git a/isa/isa.el b/isa/isa.el
index b1a17f29..a67ba212 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -364,7 +364,8 @@ 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-r" 'isa-retract-thy-file)))
+(define-key map "\C-c\C-r" 'isa-retract-thy-file)
+(proof-define-keys map proof-universal-keys)))
 
 ;; FIXME: could test that the buffer isn't already locked.
 (defun isa-process-thy-file (file)
-- 
cgit v1.2.3