From 380da1abd2eefedab8c18af3611e599aa7f46a90 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 22 Aug 2010 21:18:01 +0000 Subject: isar-describe-help-keys: remove this, available by default as C-c C-a h C-h (see Trac #341) --- isar/isar.el | 6 ------ 1 file changed, 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 ;; -- cgit v1.2.3