diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-05-26 13:18:42 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-05-26 13:18:42 +0000 |
commit | fb7d8dffac3229b24967e135d174d29a1a560a31 (patch) | |
tree | bf425162e6e845f4769396f3f7caab668d30c057 /TODO.developer | |
parent | af8225688adffff67675ce362c1c933a863a9393 (diff) |
Note about final 3.6 todo
Diffstat (limited to 'TODO.developer')
-rw-r--r-- | TODO.developer | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/TODO.developer b/TODO.developer index 4e1dfa82..5205d950 100644 --- a/TODO.developer +++ b/TODO.developer @@ -8,6 +8,19 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. 3.6 TODOs ========= +Things to do for 3.6 final: + + -- nuisance fix needed for docstring magic because of pruning of spaces + from empty lines in all docstrings by Stefan Monnier (argh!) + -- merge/fix of patch by Claire Quigley + -- Coq updates check: symbols, linewidth, file handling + -- Complete generification of adjust-line-width function + (currently separately in lego, isar,plastic) + + +================================================================= + + * PGIP support ** Remove need for decorated output around PGIP responses. ** Support simplified (flat, non context-sensitive) completion for idtables |