From c4f4c0aa553d6973789af129cd208ea76882d3d1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 14:45:05 +0000
Subject: Updated

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

diff --git a/todo b/todo
index 54437aa9..2f7b3405 100644
--- a/todo
+++ b/todo
@@ -60,8 +60,9 @@ X Solaris bugs: font locking and button enabling.
   Presently used only in proof-easy-config, will put into other
   mechanism for 3.2
 
-**** A Doc new bits: Isabelle settings mechanism, win32 support
+**** A Doc new bits: win32 support
 
+**** A Doc new bits:  settings mechanism via defpacustom 
 
 **** C Settings mechanism could be generalised
 
-- 
cgit v1.2.3