Updates

1 files 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?