From e31b40340f58575c03f1b533dbdb0242c9952925 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 22:48:32 +0000
Subject: Updated.

---
 coq/todo | 2 ++
 isa/todo | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/coq/todo b/coq/todo
index 4515e9c4..5507ba79 100644
--- a/coq/todo
+++ b/coq/todo
@@ -5,6 +5,8 @@
 See also ../todo for generic things to do, priority codes.
 
 
+** D Coq pbp focussing, would be helpful if this part works at least
+
 ** C Auto-compile-vos
    Would be nice to ressurect this: interaction between PG
    and make system is tricky and tedious.  
diff --git a/isa/todo b/isa/todo
index 4f077524..e4964429 100644
--- a/isa/todo
+++ b/isa/todo
@@ -8,6 +8,8 @@ See also ../isar/todo.  Isar is now main instance for PG, this
 instance less supported.
 
 
+** X Isabelle PG: Non-blocking for .thy loading from .ML files.
+
 ** D Isabelle: I think show_sorts -> show_types, how can we reflect this ?
 
 ** D Fix mode naming for Isabelle 
-- 
cgit v1.2.3