From 9e6b820cfdcace87236d3b66178ceb9e2ca8f628 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Aug 2002 17:02:47 +0000
Subject: Updated.

---
 BUGS | 4 +++-
 todo | 3 +++
 2 files changed, 6 insertions(+), 1 deletion(-)

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