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

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

(limited to 'todo')

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