diff options
| author | David Aspinall | 2000-03-10 05:54:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-10 05:54:52 +0000 |
| commit | 20f916a79c8053fee8c416827cc28ac77ea994c5 (patch) | |
| tree | 84492bf32eb76a0199c56c091d89c2d3a9b38726 /generic/proof-script.el | |
| parent | 4a17408b5e9754338ee90cc2502b69494134440a (diff) | |
Use name of proof assistant in menu.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index ce97d623..6fffb0bc 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2296,12 +2296,14 @@ This is intended as a value for proof-activate-scripting-hook" (defvar proof-shared-menu (append (list - ["Start proof assistant" - proof-shell-start - :active (not (proof-shell-live-buffer))] - ["Exit proof assistant" - proof-shell-exit - :active (proof-shell-live-buffer)]) + (vector + (concat "Start " proof-assistant) + 'proof-shell-start + ':active '(not (proof-shell-live-buffer))) + (vector + (concat "Exit " proof-assistant) + 'proof-shell-exit + ':active '(proof-shell-live-buffer))) (list proof-buffer-menu) (list proof-quick-opts-menu) (list proof-help-menu)) |