From a93ba111b91df756ccd55b36fae012223005786d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Mar 2003 12:25:01 +0000
Subject: Updated.

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

diff --git a/todo b/todo
index d15e738e..3a16c405 100644
--- a/todo
+++ b/todo
@@ -19,6 +19,10 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
       not, if this is even beyond what Isar interface would allow
       (unless we send an ML file line-by-line with ML_command?)
 
+*** Isabelle tweaks
+     -- theorem dependencies on spoils ordinary response buffer output
+     (dependency info *after* response display loses)
+
  
 * Proof General Infeasibly Long Low-Level List of Things to Do
 
-- 
cgit v1.2.3