diff options
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -201,6 +201,10 @@ C Reengineer *-count-undos and *-find-and-forget at generic level C Unify toolbar and menu functions. (1h) +C (Isabelle) Messages in minibuffer appear in FSF Emacs with ugly ^J's. + Generic problem, really: maybe CRs should be stripped, and just first + line of multiline urgent message displayed in minibuffer. + D Better support for adding a new prover: give error messages which hint at what variable to set (see proof-issue-goal for example). @@ -469,6 +473,8 @@ C `proof-zap-commas-region' does not work for Emacs 20.2 on commas are not zapped. However, when entering text, commata are zapped correctly. (2h) +C proof-shell-dont-show-annotations doesn't seem to work. + * Release ========= |