diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-22 21:18:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-22 21:18:01 +0000 |
commit | 380da1abd2eefedab8c18af3611e599aa7f46a90 (patch) | |
tree | 0a393e40f2dadb60204d67a1219977919f4dd0e6 /isar | |
parent | e03cc0ba6b2a93341f7c59a7cbf6a61ef6a21788 (diff) |
isar-describe-help-keys: remove this, available by default as C-c C-a h C-h
(see Trac #341)
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/isar/isar.el b/isar/isar.el index 606824c9..3901a804 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -343,12 +343,6 @@ This is called when Proof General spots output matching (proof-definvisible isar-help-theorems "print_theorems" "ht") (proof-definvisible isar-help-trans-rules "print_trans_rules" "hT") -(define-key isar-mode-map "\C-c\C-ah?" 'isar-describe-help-keys) -(defun isar-describe-help-keys () - "Describe key bindings with prefix C-c C-a h" - (interactive) - (describe-bindings "\C-c\C-ah")) - ;; ;; Command menu ;; |