diff options
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. |