From c4ec51bc48097bb0b8947b7ac7d78a8b4de4a6f2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 2010 12:20:10 +0000
Subject: Support proof-shell-init-cmd being a list

---
 generic/proof-shell.el | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 207fb10f..daf7db09 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1756,8 +1756,13 @@ processing."
 	    (unwind-protect
 		(progn
 		  (run-hooks 'proof-shell-init-hook)
-		  (if proof-shell-init-cmd
-		      (proof-shell-invisible-command proof-shell-init-cmd t))
+		  (when proof-shell-init-cmd
+		    (if (listp proof-shell-init-cmd)
+			(mapcar 'proof-shell-invisible-command-invisible-result
+				proof-shell-init-cmd)
+		      (proof-shell-invisible-command-invisible-result 
+		       proof-shell-init-cmd)))
+		  (proof-shell-wait)
 		  (if proof-assistant-settings
 		      (mapcar (lambda (c)
 				(proof-shell-invisible-command c t))
-- 
cgit v1.2.3