From 69bab8757dc567964579b1923553d8ebe2260a3e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 3 May 2002 13:13:06 +0000
Subject: Added support for proof-shell-next-error

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

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index bc4729a9..50a5a125 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -188,6 +188,10 @@
    proof-shell-error-regexp             "\364\\*\\*\\*"
    proof-shell-abort-goal-regexp        nil     ; n.a.
 
+   ;; da: added next two 2.5.02
+   proof-shell-next-error-regexp	  "\\((line \\([0-9]+\\) of \"[^\"]+\")\\.\n\\)"
+   proof-shell-next-error-filename-regexp "\\((line [0-9]+ of \"\\([^\"]+\\)\")\\.\n\\)"
+
    ;; matches names of assumptions
    proof-shell-assumption-regexp        isar-id
    ;; matches subgoal name
-- 
cgit v1.2.3