aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-04-04 17:13:23 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-04-04 17:13:23 +0000
commit9b3b15040fea3d234fff8d5ab586d9ba30b28909 (patch)
treec36f40d876f3cbe9c59f5ccf9036702e2d1388e1 /todo
parent80e158d8bf7448ce1064ae6bce515f8baa123015 (diff)
Updated
Diffstat (limited to 'todo')
-rw-r--r--todo3
1 files changed, 2 insertions, 1 deletions
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