diff options
| -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 |