From 5a5969e138e493b23b48ea92c09d8d1f3a100c6b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 13:01:56 +0000
Subject: Updated

---
 todo | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'todo')

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 
 =========
 
-- 
cgit v1.2.3