From 1a4c5de531bc56e9340a69691b85bea89e0084c4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 21:19:31 +0000
Subject: Updated.

---
 isar/todo | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/isar/todo b/isar/todo
index f21dba72..3c20c6b0 100644
--- a/isar/todo
+++ b/isar/todo
@@ -1,6 +1,6 @@
 -*- mode:outline -*-
 
-* Things to do for Isabelle/Isar
+* Things to do for Isabelle/Isar  [maintainers' list]
 
 See also ../todo for generic things to do, priority codes.
 
@@ -36,7 +36,14 @@ See also ../todo for generic things to do, priority codes.
    returns unknown theory context error).  Can we use something
    else?
 
+** B Proof nesting depth calculation not right: see debug messages
+
+** B Isabelle tweaks
+     -- theorem dependencies on spoils ordinary response buffer output
+     (dependency info *after* response display loses)
+
 ** B visualise dependencies: sometimes not applicable.
+     Also, does not work at the moment.
 
 ** C func-menu: 
 	observe proof-syntactic-context (general problem of func-menu setup?);
-- 
cgit v1.2.3