From 2ced69d475a7332a73c2feced859cdde00239e3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 19 Oct 1998 11:19:52 +0000
Subject: Added todo for Isabelle multiple files

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

diff --git a/todo b/todo
index d6644859..b41f4750 100644
--- a/todo
+++ b/todo
@@ -396,6 +396,9 @@ B (part of above): Handle proof-retract-file by querying Isabelle
   about the decendants of a file.  Then all the descendents can
   also be unlocked.
 
+B (part of above): add multiple file handling for Isabelle
+  (4h).
+
 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