From 254a9c79fce52f1326895848a7f8bb3cd1b3663f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Apr 2004 10:23:33 +0000
Subject: Updated.

---
 TODO | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'TODO')

diff --git a/TODO b/TODO
index 3390f8d6..b438df45 100644
--- a/TODO
+++ b/TODO
@@ -30,7 +30,7 @@ Plans for upcoming versions
 * Queue manipulation improvement: allow to extend or reduce
   during processing, with fewer "Proof Process Busy" messages.  
 
-* Support more proof assistants
+* Support more proof assistants.  Add more example proofs.
 
 * Make an XEmacs package
 
-- 
cgit v1.2.3