From 537f587fa95d80884b66f0d3ad1027a4094d7bc1 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Fri, 3 May 2002 15:06:49 +0000 Subject: tuned proof-next-error setup; --- isar/isar.el | 4 ++-- isar/todo | 2 -- 2 files changed, 2 insertions(+), 4 deletions(-) (limited to 'isar') 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? -- cgit v1.2.3