Fixed urgent message stuff. proof-shell-process-urgent-messages

now seems to correctly observe all messages which pass through.

1 files changed, 1 insertions, 1 deletions

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