From 223cc9e042618a228a88bda5e65a618e1a74ee04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 May 2000 11:24:18 +0000
Subject: Added doc of new prefix arg feature for proof-minibuffer-cmd

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index f7eee781..7938e948 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1989,6 +1989,10 @@ This is a subroutine used in proof-shell-handle-{error,interrupt}."
   "Prompt for a command in the minibuffer and send it to proof assistant.
 The command isn't added to the locked region.
 
+If a prefix arg is given and there is a selected region, that is
+pasted into the command.  This is handy for copying terms, etc from
+the script.
+
 If `proof-strict-state-preserving' is set, and `proof-state-preserving-p' 
 is configured, then the latter is used as a check that the command
 will be safe to execute, in other words, that it won't ruin
-- 
cgit v1.2.3