diff options
| author | David Aspinall | 2010-08-03 18:50:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-03 18:50:48 +0000 |
| commit | 99861ac0e7596d85834d34b95ac770e2b4c7e296 (patch) | |
| tree | 20d594f9ed2686e2aa85e4ba71ed191fdf3da10e /generic/proof-menu.el | |
| parent | 89ce00e124d6c732823513006165fdcdc4094d68 (diff) | |
Move key binding for proof assistant keymap (fixes compilation bug)
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) |