From f862f8902b13d73e3a479340b51e9bc31925ebbc Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 8 Feb 2002 11:34:32 +0000
Subject: more robust proof-shell-interrupt-regexp and
 proof-shell-error-regexp;

---
 isar/isar.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index af7ba7c1..4160e809 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -183,8 +183,8 @@
      '(("\\\\" . "\\\\") ("\""   . "\\\"")))
 
    proof-shell-proof-completed-regexp   nil     ; n.a.
-   proof-shell-interrupt-regexp         "\364\\*\\*\\* Interrupt\\|\360Interrupt"
-   proof-shell-error-regexp             "\364\\*\\*\\*\\|^.*Error:\\|^uncaught exception \\|^Exception- "
+   proof-shell-interrupt-regexp         "\364\\*\\*\\* Interrupt"
+   proof-shell-error-regexp             "\364\\*\\*\\*"
    proof-shell-abort-goal-regexp        nil     ; n.a.
 
    ;; matches names of assumptions
-- 
cgit v1.2.3