From fecff511bb9fd00267ad9d0d547a64e012480908 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 14 Aug 2007 14:12:40 +0000
Subject: Add support for sending back literal commands reusing PBP markup
 mechanisms.

---
 generic/proof-script.el | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 893a9f6a..aaa1b98e 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2209,6 +2209,7 @@ appropriate."
   (proof-activate-scripting)
   (let (span)
     (proof-goto-end-of-locked)
+    (insert "\n") ;; could be user opt 
     (insert cmd)
     (setq span (make-span (proof-locked-end) (point)))
     (set-span-property span 'type 'pbp)
-- 
cgit v1.2.3