diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 23:53:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 23:53:09 +0000 |
| commit | 75b8d43cc78ee41f0029ca5b2374f439cfb9af5a (patch) | |
| tree | 8c24fb2eec7dd058efe3a1d62c830035a03fabe8 | |
| parent | 1371ea5101bb0d34a2743bf0ab767e33d747453c (diff) | |
Comments: possible fix to compiles.
| -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.") |