diff options
| -rw-r--r-- | todo | 21 |
1 files changed, 12 insertions, 9 deletions
@@ -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 ================================================================= |