From 7a2b8a990a0a25fc02de05804fabf851b289e5ea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 16:37:34 +0000
Subject: Updated for 3.1

---
 todo | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/todo b/todo
index 2657ae4e..2bbf8936 100644
--- a/todo
+++ b/todo
@@ -27,12 +27,6 @@ D		e.g. desirable to fix at some point
 X (Low)		e.g. probably not worth spending time on
 
 
-*** Top Priority Fixes for 3.1
-
- - Manual: credits for bug reporters
- - Would be nice to fix spurious output of Coq and HOL from first line
-   when synchronization is gained.  How?
-
 *** Scheduled improvements for 3.2
 
 **** A Add a new keymap(s) for proof assistants.
@@ -92,9 +86,15 @@ X (Low)		e.g. probably not worth spending time on
 ** 2. Things to in the generic interface
 
 
+*** C Fix spurious output of Coq and HOL from first line
+
+  When synchronization is first gained, previous line of output
+  is shown. How to fix this?
+
+
 *** C Add support for XEmacs 21 packaging.  Make suitable updates available
   on web page, and make RPM put things in the right place so no .emacs
-  file may need editing(?).  [4 hours]
+  file may need editing(?).  [2 days]
 
 *** B Improve proof-easy-config mechanism.   
       
-- 
cgit v1.2.3