diff options
| -rw-r--r-- | generic/proof-menu.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index af482914..ad2c899a 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -373,7 +373,7 @@ This is intended for defining proof assistant specific functions. STRING is inserted using `proof-insert', which see. KEY is added onto proof-assistant map." (if key - (eval + (eval ;; eval-after-load "proof" ? `(define-key (proof-ass keymap) (quote ,key) (quote ,fn)))) `(defun ,fn () ,(concat "Shortcut command to insert " string " into the current buffer.") @@ -386,7 +386,7 @@ This is intended for defining proof assistant specific functions. STRING is sent using proof-shell-invisible-command, which see. KEY is added onto proof-assistant map." (if key - (eval + (eval ;; eval-after-load "proof" ? `(define-key (proof-ass keymap) (quote ,key) (quote ,fn)))) `(defun ,fn () ,(concat "Command to send " string " to the proof assistant.") |