From a26e2e3089ab01d11c6cbca10abf6b168a2a41c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 20 Aug 2009 11:23:18 +0000
Subject: proof-one-command-per-line: change default, use in
 proof-insert-pbp-command.

---
 generic/proof-config.el | 4 ++--
 generic/proof-script.el | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index d3a69ab5..eade693d 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -273,9 +273,9 @@ files which are out of date with respect to the loaded buffers!"
   :group 'proof-user-options)
 
 (defcustom proof-one-command-per-line
-  nil
+  t
   "*If non-nil, format for newlines after each proof command in a script.
-This option is not fully-functional at the moment."  ;; TODO
+This option is not fully-functional at the moment." ;; TODO
   :type 'boolean
   :group 'proof-user-options)
 
diff --git a/generic/proof-script.el b/generic/proof-script.el
index ac44c9d9..8252838b 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2279,7 +2279,7 @@ appropriate."
   (proof-activate-scripting)
   (let (span)
     (proof-goto-end-of-locked)
-    (insert "\n") ;; could be user opt 
+    (if proof-one-command-per-line (insert "\n"))
     (insert cmd)
     (setq span (span-make (proof-locked-end) (point)))
     (span-set-property span 'type 'pbp)
-- 
cgit v1.2.3