From 68afa5fb480aa9f9c4927ed3541eadf447dd2eec Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 10 Nov 1998 18:09:23 +0000
Subject: Added doc to short term improvements.  It won't be good for 2.0, 8-(.

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

diff --git a/TODO b/TODO
index feb55fde..d8b0272c 100644
--- a/TODO
+++ b/TODO
@@ -5,7 +5,7 @@ proofgen@dcs.ed.ac.uk.  Thanks!
 
 SHORT TERM
 ----------
-* Fix bugs and improve code
+* Fix bugs and improve code and documentation
 
 MEDIUM TERM
 -----------
-- 
cgit v1.2.3