diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-01-09 16:11:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-01-09 16:11:02 +0000 |
commit | f74a9efeb59b7ea8150fea829c3f092a18c44352 (patch) | |
tree | b316de0eece726f2a18ffe80a519e40d852d52d0 /generic/proof-config.el | |
parent | a5546dff72259d03360e54e8c7de0f070c554e03 (diff) |
proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start
at *start* of proof-shell-start-goals-regexp.
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 49f3a1c6..83528b9f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1165,8 +1165,8 @@ This allows a shorter form of the proof state output to be displayed, in case several messages are combined in a command output. The portion treated as the goals output will be that between the -*end* of the match on `proof-shell-start-goals-regexp' and the -*start* of the match on `proof-shell-end-goals-regexp'. +start of the match on `proof-shell-start-goals-regexp' and the +start of the match on `proof-shell-end-goals-regexp'. If nil, use the whole of the output after `proof-shell-start-goals-regexp' up to the next prompt." |