From 571c2dc2bf8c710a29a70daf338e5a99986c5946 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Oct 1998 10:08:29 +0000
Subject: todos for multi files and Isabelle annotations

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

diff --git a/todo b/todo
index a71edfa2..08d5f6af 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,9 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A* shouldn't a
+    file that has been completed be added to proof-included-files-list?
+
 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,
@@ -389,6 +392,8 @@ C Improve coqtags. I cannot handle lists e.g., with
 * Here are things to be done to Isabelle Mode
 =============================================
 
+A* Add annotations to prompt and output.
+
 B Intermittent problems parsing output.  Seems to depend on
   what has been run before.  E.g. first time starting process
   might not display goal.  Try to find repeatable case.
-- 
cgit v1.2.3