From cf4eb13ed0e0fa4e89320208e5aea715ea8c1722 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 14 Sep 2002 08:51:58 +0000
Subject: Change to proof-shell-ready-prover to allow more flexible queue
 handling

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index a8535af0..38e6da04 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -146,11 +146,13 @@ to examine proof-shell-last-output.")
 (defun proof-shell-ready-prover (&optional queuemode)
   "Make sure the proof assistant is ready for a command.
 If QUEUEMODE is set, succeed if the proof shell is busy but
-has mode QUEUEMODE.
+has mode QUEUEMODE, which is a symbol or list of symbols.
 Otherwise, if the shell is busy, give an error.
 No change to current buffer or point."
   (proof-shell-start)
-  (unless (or (not proof-shell-busy) (eq queuemode proof-shell-busy))
+  (unless (or (not proof-shell-busy)
+	      (eq queuemode proof-shell-busy)
+	      (member proof-shell-busy queuemode))
     (error "Proof Process Busy!")))
 
 ;;;###autoload
-- 
cgit v1.2.3