From 772329f70de3f86ad4fe317372e812bc57bbfa2e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 2010 14:37:37 +0000
Subject: proof-next-command-on-new-line: add this new internal flag

---
 generic/pg-vars.el | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'generic')

diff --git a/generic/pg-vars.el b/generic/pg-vars.el
index 5a83bb19..7ce99d8c 100644
--- a/generic/pg-vars.el
+++ b/generic/pg-vars.el
@@ -228,6 +228,12 @@ Set in `proof-shell-process-urgent-message'.")
 Used in `proof-autosend-loop' and inspected in other places to inhibit
 user interaction.")
 
+(defvar proof-next-command-on-new-line nil
+  "Indicate that `proof-script-new-command-advance' should make a newline.
+Internal variable dynamically bound.")
+
+
+
 
 ;;
 ;; Not variables at all: global constants (were in proof-config)
-- 
cgit v1.2.3