From bf40c983062d3e01bb36ffb1734fb2640689e9d1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Jul 2002 17:25:23 +0000
Subject: Updated

---
 todo | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/todo b/todo
index 178e0a1f..cc0b42d4 100644
--- a/todo
+++ b/todo
@@ -1069,3 +1069,13 @@ proof-nesting-depth:
 
 Would be good to make count undos and find-and-forget generic.
   [ Perhaps too tricky/temperamental to get this right ]
+
+
+-----------------------------------------------------------------
+
+BUG:   in lego
+
+Warning: forgetting an unfinished proof
+KillRef: ok, not in proof state
+
+  possibly due to spurious proof span left behind(?)
\ No newline at end of file
-- 
cgit v1.2.3