aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-30 12:06:46 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-30 12:06:46 +0000
commit18905b2501ae83d34854a841fda95b3634951d1b (patch)
tree669d9e86b746ea67087c4d03fcafdf5df7ba6808 /todo
parent98547907e563166351b3a0841933ccf65cb3fa5d (diff)
Updated
Diffstat (limited to 'todo')
-rw-r--r--todo12
1 files changed, 7 insertions, 5 deletions
diff --git a/todo b/todo
index 7f1058bb..e7322f31 100644
--- a/todo
+++ b/todo
@@ -46,15 +46,12 @@ B Manual improvements before techreport publishing (see notes at end also):
- general tips on what to do when things go wrong: try
interrupt, restart, finally exit proof assistant.
- improvements after feedback from users.
+ - add screenshots?
+ - add more index entries
D Change the name of "automatic multiple files" to something
more comprehensible.
-X Improve goto button image [suggestion from Markus]
- Is it possible to avoid the arrows to touch in the middle,
- emphasizing the 'point' a bit more. The arrows look a bit outwards
- bent, too.
-
D X-Symbol improvements: see if we can get support for
proof-xsym-extra-modes outside PG (just by loading proof-site).
Will be handy for Isabelle's .itex Isabelle-LaTeX files.
@@ -290,6 +287,11 @@ D Idea: introduce a dynamic follow mode which follows
matters). Alternative is dynamic recenter mode to
keep end of locked region in buffer.
+X Improve goto button image [suggestion from Markus]
+ Is it possible to avoid the arrows to touch in the middle,
+ emphasizing the 'point' a bit more. The arrows look a bit outwards
+ bent, too.
+
X Check compilation okay, check on use of eval-and-compile.
X Improve efficiency for processing for large proofs.