From 98e40c4f92aeac4d5287c5d4580db77400c8fdfe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Sep 2003 23:57:57 +0000
Subject: Updated.

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

(limited to 'todo')

diff --git a/todo b/todo
index 3a16c405..a529e263 100644
--- a/todo
+++ b/todo
@@ -53,6 +53,9 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to do in the generic interface
 
+*** PGIP SUPPORT (minimal for Isabelle patch):
+      -- settings with categories
+
 *** [ Don't query save before retraction ?? ]
 
 *** A settings configuration for Isabelle: add backwards
-- 
cgit v1.2.3