diff options
| author | David Aspinall | 1998-11-20 14:26:20 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-20 14:26:20 +0000 |
| commit | dc8d17bf7586ff880ba6292cb182f2dbd37c98e7 (patch) | |
| tree | 8de9ea48f9130c8d42d78bb1a4c8f68d06515165 /generic/proof-config.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-config.el')
| -rw-r--r-- | generic/proof-config.el | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index e70a8963..4a5fee18 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -616,6 +616,16 @@ group. This allows different proof assistants to coexist :type '(choice string (const nil)) :group 'proof-shell) +(defcustom proof-shell-restart-cmd "" + "A command for re-initialising the proof process." + :type '(choice string (const nil)) + :group 'proof-shell) + +(defcustom proof-shell-quit-cmd "" + "A command to quit the proof process. If nil, send EOF instead." + :type '(choice string (const nil)) + :group 'proof-shell) + (defcustom proof-shell-cd nil "Command to the proof assistant to change the working directory." :type 'string @@ -816,6 +826,7 @@ data triggered by `proof-shell-retract-files-regexp'." + ;; ;; 6. Global constants |