From 8c32dfb9c7e2d388f4f5f6517e12a70a68bf9555 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Jul 2002 12:30:16 +0000
Subject: Updates

---
 todo | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'todo')

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
+
+-----------------------------------------------------------------
-- 
cgit v1.2.3