diff options
author | 2004-04-24 11:15:27 +0000 | |
---|---|---|
committer | 2004-04-24 11:15:27 +0000 | |
commit | 2c0486ea8da1aef2c07bbf8da4f489148e00e766 (patch) | |
tree | a07affa3bb8eb67562e5ff0365984ece237f1493 /todo | |
parent | 922f0c807d00b1f5b2aa7bb8b0acd097f0a79580 (diff) |
Updated.
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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 |