From 8011d144f5f5be971d7f60351da7804488a96c94 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 14:05:07 +0000
Subject: Added todo for pre 2.1 testing

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

diff --git a/todo b/todo
index f8e1c198..a6048627 100644
--- a/todo
+++ b/todo
@@ -19,6 +19,10 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A Testing before ProofGeneral 2.1 release:
+   - Process killing bug
+   - FSF 20.3 problem with loss of blue highlighting on spans?
+
 A Clarify licence situation for Proof General after question from 
   a potential user. Will the LFCS allow it to be used in a commercial 
   environment without a special licence agreement? A new licence is
-- 
cgit v1.2.3