1 files changed, 2 insertions, 0 deletions
diff --git a/todo b/todo
index 95b67be3..c64a353c 100644
--- a/todo
+++ b/todo
@@ -54,6 +54,8 @@ X Solaris bugs: font locking and button enabling.
 
 *** Scheduled improvements for 3.2
 
+**** A Clean up intro for PG-adapting manual.
+
 **** C Fix mode naming for Isabelle 
      (might like isa-proofscript-mode -> isa-mode;
       but this conflicts with entry mechanism for thy/isa mode).