From b88e60df1c96180660c1311454d4cd933fc6e8b7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 17:23:50 +0000
Subject: Default for proof-comment-end that doesn't cause looping in searching
 for comment end.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 3e4e6709..1c7b75f7 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -878,9 +878,9 @@ but you can set this variable to something else more precise if necessary."
   :type 'string
   :group 'proof-script)
 
-(defcustom proof-comment-end ""
+(defcustom proof-comment-end "\n"
   "String which ends a comment in the proof assistant command language.
-The script buffer's comment-end is set to this string plus a space.
+The script buffer's comment-end is set to a space plus this string.
 See also `proof-comment-start'.
 
 You should set this variable for reliable working of Proof General,"
-- 
cgit v1.2.3