diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-20 14:26:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-20 14:26:20 +0000 |
| commit | dc8d17bf7586ff880ba6292cb182f2dbd37c98e7 (patch) | |
| tree | 8de9ea48f9130c8d42d78bb1a4c8f68d06515165 /generic/proof-toolbar.el | |
| parent | b23d4243bcdf6acdda1af8143ad9e7fc901d25c4 (diff) | |
Reimplemented functions to shut down and restart proof process.
Scrapped proof-shell-exit-hook.
Added proof-shell-quit-cmdd, proof-shell-restart-comd
Fancier Scripting indicator for active scripting buffer.
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 1e2cc44f..44c37a9e 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -355,8 +355,7 @@ Move point if the end of the locked position is invisible." (defun proof-toolbar-restart () (interactive) (if (proof-toolbar-restart-enable-p) - (if (yes-or-no-p (concat "Restart " proof-assistant " scripting?")) - (proof-restart-script)))) + (proof-shell-restart))) ;; ;; Goal button |