tuned proof-next-error setup;

1 files changed, 0 insertions, 2 deletions

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?