From fb8430c7ee8f78e006a7d4c1185c37ec8c2ec9b0 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 21 Sep 2000 13:21:02 +0000
Subject: ** D support proof-next-error?

---
 isar/todo | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isar/todo b/isar/todo
index 3ad7f7c2..28f334fa 100644
--- a/isar/todo
+++ b/isar/todo
@@ -20,4 +20,5 @@ Then users could use both proof languages in the same session.
 ** D Fixup so that typing in shell buffer updates locked buffer status.
 It works in Isabelle/classic, why not here?  (But users shouldn't
 type in shell buffer, anyway).
- 
\ No newline at end of file
+
+** D support proof-next-error?
-- 
cgit v1.2.3