From 9b3b15040fea3d234fff8d5ab586d9ba30b28909 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Apr 2000 17:13:23 +0000
Subject: Updated

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

diff --git a/todo b/todo
index 983c42e5..8b2b2edd 100644
--- a/todo
+++ b/todo
@@ -39,7 +39,8 @@ X (Low)		e.g. probably not worth spending time on
     C-c C-x already seems to be a prefix?
 
 **** A Add efficiency improvement by turning on/off prover output.
-  Patch already tested.
+  Patch already added to pre-release.
+  Needs adjusting to turn on output in case of error/interrupt.
 
 **** C Add improvements to script movement in electric terminator mode.
   Some commented regions in code.  E.g. automatic newline/space after
-- 
cgit v1.2.3