diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 0d671db5..ee7189ea 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -93,8 +93,6 @@ without adjusting window layout." ;;;###autoload (defun proof-menu-define-keys (map) "Prover specific keymap under C-c C-a." - (proof-eval-when-ready-for-assistant - (define-key map [(control c) (control a)] (proof-ass keymap))) ;; M-a and M-e are usually {forward,backward}-sentence. ;; Some modes also override these with similar commands (define-key map [(meta a)] 'proof-backward-command) |