diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-08-09 14:55:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-08-09 14:55:02 +0000 |
| commit | 58e948aac6bd704a6f56bf8597a3da70c0c6e206 (patch) | |
| tree | 4259a8bd76a226bf3e536ee6b92775ebf00c32a4 /isar/isar.el | |
| parent | 97ffa89402e0d3f64d8d9565ba4f48a186adc670 (diff) | |
next-error-regexp seems to have broken; fix it against current Isabelle CVS.
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 5 |
1 files 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 |