diff options
| -rw-r--r-- | isar/isar.el | 4 | ||||
| -rw-r--r-- | isar/todo | 2 |
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 @@ -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? |