Updated.

2 files changed, 3 insertions, 1 deletions

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