From 5065206902370d4e0e35096967f40f07b2bc1d18 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 19 Mar 2000 06:50:34 +0000
Subject: Updated

---
 isar/todo | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isar/todo b/isar/todo
index 19258d94..e7c51108 100644
--- a/isar/todo
+++ b/isar/todo
@@ -4,5 +4,7 @@
 
 See also ../todo for generic things to do, priority codes.
 
-** C Combine with isa/ to get single Isabelle PG instance, maybe?
+** C Combine with isa/ to get single Isabelle PG instance, somehow?
+
+Then users could use both proof languages.
 
-- 
cgit v1.2.3