From 58e948aac6bd704a6f56bf8597a3da70c0c6e206 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Aug 2005 14:55:02 +0000
Subject: next-error-regexp seems to have broken; fix it against current
 Isabelle CVS.

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

diff --git a/isar/isar.el b/isar/isar.el
index 732f2eae..0015e98e 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -211,8 +211,9 @@ See -k option for Isabelle interface script."
    proof-shell-error-regexp             "\364\\*\\*\\*"
    proof-shell-abort-goal-regexp        nil     ; n.a.
 
-   pg-next-error-regexp	  "\\((line \\([0-9]+\\)[,] of \"[^\"]+\")\\)"
-   pg-next-error-filename-regexp "\\((line [0-9]+[,] of \"\\([^\"]+\\)\")\\)"
+   ;; 
+   pg-next-error-regexp	  "\\((line \\([0-9]+\\) of \"[^\"]+\")\\)"
+   pg-next-error-filename-regexp "\\((line [0-9]+ of \"\\([^\"]+\\)\")\\)"
 
    ;; matches names of assumptions
    proof-shell-assumption-regexp        isar-id
-- 
cgit v1.2.3