From abd3735b28f09a7e711af701c8ad0427c30f236f Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Tue, 18 Jan 2011 14:40:38 +0000
Subject: - fix broken external compilation - fix quitting during compilation -
 substitute "compile" for "recompile" - added documentation

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 9b0c876a..f5825516 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -931,7 +931,7 @@ The queue mode is set to 'advancing"
   (proof-set-queue-endpoints (proof-unprocessed-begin) end)
   (condition-case err
       (run-hooks 'proof-shell-extend-queue-hook)
-    (error
+    ((error quit)
      (proof-detach-queue)
      (signal (car err) (cdr err))))
   (proof-add-to-queue queueitems 'advancing))
-- 
cgit v1.2.3