From 48f9b4c9c0196f8720a9ac518e4eb4c80d3000e0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 17:14:03 +0000
Subject: todo for Isabelle multiple files.

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

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) 
 
-- 
cgit v1.2.3