1 files changed, 9 insertions, 0 deletions
diff --git a/todo b/todo
index b09f54c5..df747ea4 100644
--- a/todo
+++ b/todo
@@ -5,6 +5,15 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 
 =================================================================
 
+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
+
+
+=================================================================
+
 * Developers' Infeasibly Long Low-Level List of Things to Do