From 4f32fd81ca03f72cc50be4e92fd3a85c0a55ff8a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Feb 2000 08:18:04 +0000
Subject: Updated

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

diff --git a/todo b/todo
index bdd00658..677181da 100644
--- a/todo
+++ b/todo
@@ -36,9 +36,9 @@ X (Low)		probably not worth spending time on
 * Priority Fixes for 3.1
 ========================
 
-** Isabelle regexp overflow problem
+** Isabelle regexp overflow problem on proof-shell-proof-completed-regexp
 ** Solaris ^G problem and FSF Emacs mule/non-mule support
-
+** Recognition of ; only at eol (DvO reported bug)
 
 
 * Things to in the generic interface
-- 
cgit v1.2.3