From 2039e9e907e05683f8e7bf0051e4d1787b421b0e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Nov 2002 12:18:53 +0000
Subject: proof-shell-invisible-cmd also accepts a function yielding a command.

---
 generic/proof-shell.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index a6b33f6c..794d39d2 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1716,12 +1716,15 @@ Calls proof-state-change-hook."
 ;;;###autoload
 (defun proof-shell-invisible-command (cmd &optional wait)
   "Send CMD to the proof process.  
+CMD may be a string or a string-yielding function.
 Automatically add proof-terminal-char if necessary, examining
 proof-shell-no-auto-terminate-commands.
 By default, let the command be processed asynchronously.
 But if optional WAIT command is non-nil, wait for processing to finish
 before and after sending the command.
 If WAIT is an integer, wait for that many seconds afterwards."
+  (unless (stringp cmd)
+    (setq cmd (eval cmd)))
   (unless (or (null proof-terminal-char)
 	      (not proof-shell-auto-terminate-commands)
 	      (string-match (concat
-- 
cgit v1.2.3