From 50af258fe0d8fe24bab10fb206a787e1d4dafeac Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 15 Feb 2003 15:02:43 +0000
Subject: Updated.

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

(limited to 'todo')

diff --git a/todo b/todo
index 7d7d80a8..b8f42200 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,8 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to do in the generic interface
 
+*** [ Don't query save before retraction ?? ]
+
 *** A settings configuration for Isabelle: add backwards
     compatibility for older versions of Isabelle.  
     Waiting for Isabelle to provide some easy version
-- 
cgit v1.2.3