From b34ff9f056042fe92cc29e0b73663f0079410140 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 8 Jun 2002 09:42:54 +0000
Subject: Updates

---
 todo | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/todo b/todo
index 2e956924..8ba66759 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,11 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to in the generic interface
 
+*** B Bugs with extents: 
+      Sometimes probs if try to assert a whole file while one is
+      being processed:     (proof-set-queue-start end) call in
+      proof-done-advancing finds that queue span is detached.
+
 *** C Extensions with semantic tokens
       Look at the Semantic Navigator package.  Implements persistent
       database of tokens.
@@ -48,8 +53,6 @@ X (Low)		e.g. probably not worth spending time on
 *** C The PG isabelle-completion-table seems to be subject to case-fold, which
       it shouldn't be: \<sqinter> does not work, but \<Sqinter> is OK.
 
-*** C Ignore table entries for non-existent directories in proof-site.el
-
 *** B generalize from Isabelle's "atomic scripting" theory file mode
       to allow other instances which do not allow incremental
       processing of files in major or auxiliary file types.
@@ -58,7 +61,7 @@ X (Low)		e.g. probably not worth spending time on
 
 *** B Move over to new better designed parsing function mechanism.
 
-*** C ChangeLog generation still not right.  
+*** D ChangeLog generation still not right.  
       Suggested fix: use the prefix that rcs2log generates, without prepending.
       Take a tail of the current ChangeLog and use that as the starting point,
       perhaps?
-- 
cgit v1.2.3