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

---
 isa/isabelle-system.el | 2 +-
 todo                   | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 3b679d34..f30b9734 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -292,7 +292,7 @@ until Proof General is restarted."
 			   :selected (list 'equal 'isabelle-chosen-logic l)))
 		 (isa-tool-list-logics)))))
 
-;; Status: remove-menu-item 
+;; Status: remove-menu-item seems broken??
 (defun isabelle-logics-menu-refresh ()
   "Refresh isabelle-logics-menu."
   (interactive)
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