diff options
| author | David Aspinall | 1998-10-26 13:58:43 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-26 13:58:43 +0000 |
| commit | 48f5790715d0018493a9fe38009b0294366f9d73 (patch) | |
| tree | deaa833b495d96079be88bcead58cc4ac4579169 | |
| parent | 31d034d3063adf19ef6ee4ba5e27e947034ff54a (diff) | |
Removed Isamode-specific keybindings
| -rw-r--r-- | isa/thy-mode.el | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/isa/thy-mode.el b/isa/thy-mode.el index 95a17727..57568a63 100644 --- a/isa/thy-mode.el +++ b/isa/thy-mode.el @@ -146,8 +146,9 @@ You can use the following format characters: (define-key map "\C-c\C-p" 'thy-goto-prev-section) (define-key map "\C-c\C-c" 'thy-minor-sml-mode) (define-key map "\C-c\C-t" 'thy-insert-template) - (define-key map "\C-c\C-u" 'thy-use-file) - (define-key map "\C-c\C-l" 'thy-raise-windows) + ;; Disabled for Proof General + ;;(define-key map "\C-c\C-u" 'thy-use-file) + ;;(define-key map "\C-c\C-l" 'thy-raise-windows) (define-key map "\C-c\C-o" 'thy-find-other-file) (define-key map "\C-M" 'newline-and-indent) (define-key map "\C-k" 'thy-kill-line) @@ -172,7 +173,10 @@ The style of indentation for theory files is controlled by these variables: thy-heading-indent thy-indent-level thy-indent-strings -- see individual variable documentation for details." +- see individual variable documentation for details. + +Here is the full list of theory mode key bindings: +\\{thy-mode-map}" (interactive) (kill-all-local-variables) (setq major-mode 'thy-mode) |