From 29f6b9e091e896d98505a0aa62dcac13f8896343 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 15:44:53 +0000
Subject: Added proof-script-command-separator.  Needs work.

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index aa6294ed..2da756cf 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -150,12 +150,22 @@ provers.  Enable it if it works for you."
   :type 'boolean 
   :group 'proof-general)
 
+;; FIXME: rationalize and combine next two
 (defcustom proof-one-command-per-line nil
   "*If non-nil, format for newlines after each proof command in a script.
 This option is not fully-functional at the moment."
   :type 'boolean
   :group 'proof-general)
 
+
+(defcustom proof-script-command-separator " "
+  "*String separating commands in proof scripts.
+For example, if a proof assistant prefers one command per line, then 
+this string should be set to a newline.  Otherwise it should be
+set to a space."
+  :type 'string
+  :group 'proof-general)
+
 (defcustom proof-rsh-command ""
   "*Shell command prefix to run a command on a remote host.  
 For example,
-- 
cgit v1.2.3