From 85ac33580832c1af614a4b2072c8212fd1fd7e22 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 19 Oct 1998 14:44:01 +0000
Subject: todo for multiple files in Isabelle

---
 todo | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index b41f4750..663067e3 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,11 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A* Fixup multiple files (mark atomic makes some assumption about
+   non-comment commands in script buffers).  Improve test for
+   locked region being whole of buffer.  This is partly done,
+   may need improvements.  (1hr)
+
 C byte-compilation: check that byte compilation (and compiled code!)
   works for both varieties of Emacs.  Add instructions to INSTALL on 
   how to byte compile.  (1hr)
@@ -397,7 +402,12 @@ B (part of above): Handle proof-retract-file by querying Isabelle
   also be unlocked.
 
 B (part of above): add multiple file handling for Isabelle
-  (4h).
+  (4h).  
+   Work left to do:
+
+     test sending of "retract_file" command to Isabelle.
+     Handle theory files better.
+
 
 X Write perl scripts to generate TAGS file for ML and thy files.
   (6h, I've completely forgotten perl), or better:
-- 
cgit v1.2.3