Updated.

2 files changed, 6 insertions, 1 deletions

diff --git a/BUGS b/BUGS
index 84e402cb..7c2aedc4 100644
--- a/BUGS
+++ b/BUGS
@@ -13,6 +13,8 @@ a patch...)
 ** X-Symbol probs with Coq, LEGO
    -- X-Symbol 4.x not supported, don't try it or your Emacs will explode
 
+
+
 * Known Bugs and Workarounds for Proof General.
 
 Contact:  mailto:bugs@proofgeneral.org
@@ -20,7 +22,7 @@ See also: http://www.proofgeneral.org/ProofGeneral/BUGS
 
 Generic bugs are listed here, which may affect all of the supported
 provers.  See lego/BUGS coq/BUGS, etc, for specific bug lists for each
-of the provers supported.
+of the provers supported.  
 
 The bugs here are split into problems which apply for all Emacs
 versions, and those which only apply to particular versions.
diff --git a/todo b/todo
index 9cf57aac..bd03a6c7 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,9 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to do in the generic interface
 
+*** C Add output highlighting to minibuffer in proof-shell-message.
+    (Quite tricky to get text properties onto text in minibuffer...)
+
 *** X A more flexible way of choosing which instance of PG we want,
     allowing matches on the buffer before choosing the mode function.