diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 14:09:50 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 14:09:50 +0000 |
commit | e22511b7890c0653e67604d444df5574f9b3add2 (patch) | |
tree | 668aa0bd6fb2fc171614deed9fa0349abad5bc30 /todo | |
parent | 6df08b4dfd7b462e3c62eea3bc2efb2b79649949 (diff) |
Updated
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -29,7 +29,7 @@ X (Low) e.g. probably not worth spending time on *** Scheduled improvements for 3.2 -**** A Doc new bits: font lock keywords, silent stuff, filename %e, %r. +**** A Doc new bits: font lock keywords, filename %e, %r. **** A Add a new keymap(s) for proof assistants. Presently they naughtily bind C-c <letter> which are reserved for @@ -42,7 +42,7 @@ X (Low) e.g. probably not worth spending time on **** A Add efficiency improvement by turning on/off prover output. Patch already added to pre-release. - Needs adjusting to turn on output in case of error/interrupt. + Does it need 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 |