From 0196e183006e8c74dcb4f5f5915c052cacf0c8f7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 May 2000 16:16:50 +0000
Subject: Updated

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

diff --git a/todo b/todo
index 4117a26f..3f2c92f6 100644
--- a/todo
+++ b/todo
@@ -49,8 +49,12 @@ X Solaris bugs: font locking and button enabling.
   visiting a new/empty thy file: buttons are off and are not enabled
   by typing new stuff.
 
+  Moved down the list now, instead we disable button enablers on
+  Solaris.
+
 *** Scheduled improvements for 3.2
 
+
 **** A Doc new bits: font lock keywords, filename %e, %r.
   Added proof-{script,shell,goals,resp}-font-lock-keywords.
   Presently used only in proof-easy-config, will put into other
-- 
cgit v1.2.3