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 /doc/docstring-magic.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 'doc/docstring-magic.el')
0 files changed, 0 insertions, 0 deletions