From 6f26c71f9f5ba7ccf0c5ea7de2930cb3835e8c05 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Sep 1998 15:51:56 +0000
Subject: Added test schedule item

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

diff --git a/todo b/todo
index 2a9115ed..670be830 100644
--- a/todo
+++ b/todo
@@ -34,6 +34,9 @@ X Improve toolbar icons.  Automatically generate reduced and
   xcf files under CVS rather than xpm files.  
   (5h or more to design nice ones)
 
+B Write test schedule for things to try out with a new instantiation
+  of Proof General.
+
 X Add support for putting a locked region in processed files.
 
 X Make process handling smarter: because Emacs is single-threaded,
-- 
cgit v1.2.3