From c7b4b7285cbf75c1c77a07436e14a04efe9c157a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 26 Nov 1998 20:42:35 +0000
Subject: Added note about final things to do for 2.0

---
 todo | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index e75a61b8..b340a310 100644
--- a/todo
+++ b/todo
@@ -7,7 +7,7 @@ $Id$
 
 A (URGENT) to be fixed immediately for next pre-release 
 B (High)   to be fixed before next release (Version 2.1)
-C          would be nice to fix before release of 2.0; but not crucial
+C          would be nice to fix before release of 2.1; but not crucial
 D (Medium) desirable to fix at some point
 X (Low)    probably not worth wasting time on
 
@@ -15,6 +15,18 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+===========
+
+RELEASE 2.0 remaining problems:
+
+A***  BUG: FSF Emacs process handling (check on proof-shell-insert fix), 
+      killing buffer problems.
+
+A***  BUG: FSF Emacs and LEGO term markup: aref out of range.
+
+=============
+
+
 A Polish ProofGeneral.texi and publish LaTeX version as an LFCS
   Technical Report.  
   Small things: 
-- 
cgit v1.2.3