diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-30 12:06:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-30 12:06:46 +0000 |
commit | 18905b2501ae83d34854a841fda95b3634951d1b (patch) | |
tree | 669d9e86b746ea67087c4d03fcafdf5df7ba6808 /todo | |
parent | 98547907e563166351b3a0841933ccf65cb3fa5d (diff) |
Updated
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -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. |