From a47f1bf51c55ff8e22f7b75b16cd7a044f0f5a84 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Oct 1998 14:05:30 +0000
Subject: Removed duff key bindings

---
 isa/isa.el | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 73af5c92..d870579d 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -369,12 +369,8 @@ isa-proofscript-mode."
 (defun isa-mode-config ()
   (isa-mode-config-set-variables)
   (isa-init-syntax-table)
-  ;; font-lock
   (setq font-lock-keywords isa-font-lock-keywords-1)
   (proof-config-done)
-  (define-key (current-local-map) [(control c) ?I] 'isa-Intros)
-  (define-key (current-local-map) [(control c) ?a] 'isa-Apply)
-  (define-key (current-local-map) [(control c) (control s)] 'isa-Search)
   ;; outline
   ;; FIXME: do we need to call make-local-variable here?
   (make-local-variable 'outline-regexp)
-- 
cgit v1.2.3