From e893685f06bbc7d8a99d2a2b993712728d6960a8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 18:26:16 +0000
Subject: Multiple files bug fix request

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

diff --git a/todo b/todo
index c5c991ef..b6498533 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,16 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A* multiple files bug fix:
+   It can happen (in Isabelle) that the prover retracts a file
+   which asks for another to be retracted which is *not* on
+   proof-included-files-list.  The same case could perhaps 
+   happen in lego if we relax the restriction on switching
+   scripting buffer?  We need to remove the locked regions
+   from *any* buffer which is matched by the retract_files_regexp,
+   not just those in proof-shell-compute-new-files-list.
+   (tms, please?  30mins?)
+
 A* FIX INDENTATION CODE, EDITING .ML (& other?) FILES IS CHRONICALLY SLOW.
   This is going to hit us hard as soon as the mode gets used in
   earnest.
-- 
cgit v1.2.3