diff options
| author | David Aspinall | 1998-11-25 12:31:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:31:52 +0000 |
| commit | d2b9b0555e7cf208e06eb6490dc70cc67daca239 (patch) | |
| tree | 6c4da98b052ace038949ea462312e627118d3226 /generic/proof-shell.el | |
| parent | c91765f2c59ff1b8855f18760b124efda2ad7778 (diff) | |
Improved docstrings
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 996ffa65..ede3f76d 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -699,7 +699,7 @@ by setting proof-shell-delayed-output to a cons cell of (insert . txt) where TXT is the text to be inserted. To extend this function, set -`proof-shell-process-output-system-specific'. +proof-shell-process-output-system-specific. This function - it can return one of 4 things: 'error, 'interrupt, 'loopback, or nil. 'loopback means this was output from pbp, and |