diff options
| -rw-r--r-- | todo | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -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? |