1 files changed, 3 insertions, 0 deletions
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