From eb8bee3157b4300174da08054e50884c8b32ed08 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 18 Dec 2014 15:31:20 +0000
Subject: Fixed response display spurious newlines for coq.

Added an option about that in proof-config.

To check: I adapted proof-treee regrexp accordingly.
---
 generic/proof-config.el | 5 +++++
 1 file changed, 5 insertions(+)

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 280b98cf..9f4494d2 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -752,6 +752,11 @@ Elisp errors will be trapped when evaluating; set
   :type 'string
   :group 'proof-script)
 
+(defcustom proof-script-insert-newlines t
+  "if non-nil inserts a newline between each message in response buffer."
+  :type 'boolean
+  :group 'proof-script)
+
 
 (defcustom proof-script-font-lock-keywords nil
   "Value of `font-lock-keywords' used to fontify proof scripts.
-- 
cgit v1.2.3