From 2c0486ea8da1aef2c07bbf8da4f489148e00e766 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 24 Apr 2004 11:15:27 +0000
Subject: Updated.

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

(limited to 'todo')

diff --git a/todo b/todo
index b09f54c5..df747ea4 100644
--- a/todo
+++ b/todo
@@ -3,6 +3,15 @@ $Id$
 
 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
-- 
cgit v1.2.3