From a42ec4ac01a949165485bd348678b11c40d0a4b1 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 24 Mar 2000 16:21:25 +0000
Subject: Updated

---
 hol98/todo | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'hol98')

diff --git a/hol98/todo b/hol98/todo
index 6f8f6f95..d65df204 100644
--- a/hol98/todo
+++ b/hol98/todo
@@ -20,4 +20,6 @@ See also ../todo for generic things to do, priority codes.
 
 ** B Add support for proof by pointing.
 
+** B Output highlighting doesn't seem to work properly.
+
 
-- 
cgit v1.2.3