From e8e21ab2643638c8409e9ef04e72bcd9c1715a07 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Oct 1998 13:21:32 +0000
Subject: Added todo for save-some-buffers

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

diff --git a/todo b/todo
index 78ac4df1..89c395c1 100644
--- a/todo
+++ b/todo
@@ -21,7 +21,10 @@ A* Fixup multiple files -- needs debugging.
       (partly fixed)
    2. Improve test for locked region being whole of buffer
       (probably fixed)
-   3. Management of proof-script-buffer-list maybe wrong.
+   3. Add save-some-buffers or similar to try to make sure that a
+      modified buffer is saved before it can be read to the prover.  
+      If a buffer is put onto the proof-included-files-list when it is
+      modified, we should warn the user about possible inconsistency.  
 
    (3hrs)
 
-- 
cgit v1.2.3