From 5f32591ca6c133627014c476f07d6c86c8896902 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 13:20:10 +0000
Subject: Updated

---
 todo | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index 2ba6da46..4e1adfa3 100644
--- a/todo
+++ b/todo
@@ -53,7 +53,8 @@ re-enabled), proof-toggle-scripting, new configuration options.
     proof-cd
 
 B After interrupt, queue region is left intact.  Seems odd. 
-  Let's remove it.
+  Let's remove it.  Also interrupt needs other cleanups:
+  position of proof-marker may be wrong.
 
 B bug: interrupting Isabelle process sometimes doesn't return, why?
   (see first half of interrupt error only:
-- 
cgit v1.2.3