diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 12:47:06 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 12:47:06 +0000 |
commit | cd780b1a878968146d2cb0429abdcd96f956ee95 (patch) | |
tree | 6a9b9c0ed9594230afe9361433a1ab4b3a0458c6 /doc/PG-adapting.texi | |
parent | d1a0568693284de86676e0451dcbe766a43e3c74 (diff) |
Update magic
Diffstat (limited to 'doc/PG-adapting.texi')
-rw-r--r-- | doc/PG-adapting.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index ee3a75c7..c12a95c2 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -3438,6 +3438,7 @@ Insert @var{string} at the end of the proof shell, call @samp{@code{comint-send- First call @samp{@code{proof-shell-insert-hook}}. The argument @var{action} may be examined by the hook to determine how to process the @var{string} variable. +NB: the hook is not called for the empty (null) string. Then strip @var{string} of carriage returns before inserting it and updating @samp{@code{proof-marker}} to point to the end of the newly inserted text. @@ -3508,7 +3509,7 @@ if you don't need it (slight speed penalty). @c TEXI DOCSTRING MAGIC: proof-shell-last-prompt @defvar proof-shell-last-prompt -A record of the last prompt seen from the proof system.@* +A raw record of the last prompt seen from the proof system.@* This is the string matched by @samp{@code{proof-shell-annotated-prompt-regexp}}. @end defvar |