From f74a9efeb59b7ea8150fea829c3f092a18c44352 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jan 2012 16:11:02 +0000
Subject: proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start
 at *start* of proof-shell-start-goals-regexp.

---
 generic/proof-config.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-config.el')

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."
-- 
cgit v1.2.3