From 340963b38da050e85825f349f2e5eaf21a874612 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 May 2000 10:46:43 +0000
Subject: Added prefix arg to proof-minibuffer-cmd to insert current region.

---
 generic/proof-script.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 3c1f2243..f7eee781 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2000,7 +2000,10 @@ WARNING: this command risks spoiling synchronization if the test
 only an approximate test, or if `proof-strict-state-preserving'
 is off (nil)."
   (interactive
-   (list (read-string "Command: " nil 'proof-minibuffer-history)))
+   (list (read-string "Command: " 
+		      (if (and current-prefix-arg (region-exists-p))
+			  (buffer-substring (region-beginning) (region-end)))
+		      'proof-minibuffer-history)))
   (if (and proof-strict-state-preserving
 	   proof-state-preserving-p
 	   (not (funcall proof-state-preserving-p cmd)))
-- 
cgit v1.2.3