Updated

1 files changed, 6 insertions, 0 deletions

diff --git a/todo b/todo
index 2e64e179..06752c2a 100644
--- a/todo
+++ b/todo
@@ -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 
 =========