todo for Isabelle multiple files.

1 files changed, 4 insertions, 0 deletions

diff --git a/todo b/todo
index e2c7dbf7..dc9ed26a 100644
--- a/todo
+++ b/todo
@@ -501,6 +501,10 @@ X Sections and files are handled incorrectly.
 
 A auto-adjust Pretty.setmargin when window is resized
 
+A Multiple files needs careful testing.  There are cases when
+  retracting asks for files to be removed which were never loaded.
+  This might be harmless, but might be better cleaned up.
+
 C derive an isa-response-mode from proof-response-mode;
   see lego.el (10min)