diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 403f1af4..c393855e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1023,6 +1023,7 @@ the proof script." (error "Nothing to undo!")))) (defun proof-interrupt-process () + "Interrupt the proof assistant. WARNING! This may confuse Proof General." (interactive) (if (not (proof-shell-live-buffer)) (error "Proof Process Not Started!")) |