diff options
author | 1999-11-29 12:14:05 +0000 | |
---|---|---|
committer | 1999-11-29 12:14:05 +0000 | |
commit | 556202ba97e1dfd2106baf6e2b7eac4fececd691 (patch) | |
tree | f1c2a6548a73b4ad73814f4b7f390fe9b6337497 /isa | |
parent | b9e7d7a8a12464ac804eb58ee0fa26fcfc2d5277 (diff) |
Add universal keys to theory mode
Diffstat (limited to 'isa')
-rw-r--r-- | isa/isa.el | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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) |