Updates

1 files changed, 3 insertions, 4 deletions

diff --git a/todo b/todo
index cc0b42d4..bfb9b84f 100644
--- a/todo
+++ b/todo
@@ -1073,9 +1073,8 @@ Would be good to make count undos and find-and-forget generic.
 
 -----------------------------------------------------------------
 
-BUG:   in lego
 
-Warning: forgetting an unfinished proof
-KillRef: ok, not in proof state
+Subterm highlighting when X-Symbol is turned on in Isabelle.
 
-  possibly due to spurious proof span left behind(?)
\ No newline at end of file
+
+-----------------------------------------------------------------