diff options
author | 1998-11-09 20:02:30 +0000 | |
---|---|---|
committer | 1998-11-09 20:02:30 +0000 | |
commit | cf08a6df58c93b6b407d4ca4140a7c2b698f3c46 (patch) | |
tree | cfe437b89eb721c536d0ac1d21c2925571ec8178 /generic/proof-script.el | |
parent | e541468bd3d73bdd840fc077734e7aa3e68c7c59 (diff) |
Added docstring
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!")) |