From 7936d6b8fe6dbcb03532be76b1159020d1c7aa09 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 5 Apr 2004 15:10:34 +0000
Subject: Updated.

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

diff --git a/todo b/todo
index 2bf56f27..193b1636 100644
--- a/todo
+++ b/todo
@@ -56,7 +56,7 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
         same mechanism as proof-mmm. [Done; in testing]
      -- Check x-symbol support in provers other than Isabelle
 
-*** Finish/cleanup MMM support for Isar.  Document (but who reads it?)
+*** Finish/cleanup MMM support for Isar.  Document.
        Add MMM for other provers where relevant
 
 *** Isabelle support: can we somehow add "legacy" support for old 
@@ -69,6 +69,7 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
      (dependency info *after* response display loses)
 
 *** Check multiple file support in Isabelle -- maybe has become buggy
+     -- Test cases seem to work, still
 
 *** Coq issues that may be problematic:
      -- Auto-compile-vos (prob impossible to fix)
-- 
cgit v1.2.3