tuned proof-next-error setup;

2 files changed, 2 insertions, 4 deletions

diff --git a/isar/isar.el b/isar/isar.el
index 50a5a125..d6210bc3 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -189,8 +189,8 @@
    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\\)"
+   proof-shell-next-error-regexp	  "\\((line \\([0-9]+\\) of \"[^\"]+\")\\)"
+   proof-shell-next-error-filename-regexp "\\((line [0-9]+ of \"\\([^\"]+\\)\")\\)"
 
    ;; matches names of assumptions
    proof-shell-assumption-regexp        isar-id
diff --git a/isar/todo b/isar/todo
index c508181f..21c73b5e 100644
--- a/isar/todo
+++ b/isar/todo
@@ -16,5 +16,3 @@ Isabelle's pretty-printing subsystem);
 
 ** C tune behaviour of goals/response buffers (e.g. hide empty
 response buffers when using 2 buffer model);
-
-** D support proof-next-error?