Updates for 3.6

1 files changed, 12 insertions, 9 deletions

diff --git a/todo b/todo
index 36ee10f0..255e0277 100644
--- a/todo
+++ b/todo
@@ -5,18 +5,21 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 
 =================================================================
 
-3.5.1 Another TODO
+3.6 TODOs
+=========
 
-* Integrate large demo font
+* PGIP support
+** Remove need for decorated output around PGIP responses.
+** Support simplified (flat, non context-sensitive) completion for idtables
 
+* X-Symbol
+** Unify versions with distributed XEmacs version
+** Integrate large demo font
 
-=================================================================
-
-3.5.1 Coq-8 fixup release TODO
-
-* Fix display of sub/super scripts in Coq output
-* Multiple file handling
-* Automatic adjustment of line width
+* Coq-8 fixup
+** Fix display of sub/super scripts in Coq output
+** Multiple file handling
+** Automatic adjustment of line width
 
 
 =================================================================