From be4ce535a4ef45bed083653ec8951b602378d8e5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 12:15:52 +0000
Subject: Fixed urgent message stuff.  proof-shell-process-urgent-messages now
 seems to correctly observe all messages which pass through.

---
 isa/isa.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 00cf9edb..5bbde8fa 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -124,7 +124,7 @@ no regular or easily discernable structure."
 					  "isa/ProofGeneral.ML\";")
    proof-shell-eager-annotation-start   "^\\[opening \\|^###\\|^Reading\\|^Proof General\\|^Not reading"  ; "^---\\|^\\[opening "
    ;; could be last bracket on end of line, or with ### and ***.
-   proof-shell-eager-annotation-end   "\n" ; "---$\\|\\]$"
+   proof-shell-eager-annotation-end     "\n"
    ;; === ANNOTATIONS  === ones below here are broken
    proof-shell-goal-char	        ?\375
    proof-shell-first-special-char	?\360
-- 
cgit v1.2.3