diff options
Diffstat (limited to 'TODO.developer')
| -rw-r--r-- | TODO.developer | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/TODO.developer b/TODO.developer index 5205d950..a0067a90 100644 --- a/TODO.developer +++ b/TODO.developer @@ -5,14 +5,15 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. ================================================================= -3.6 TODOs +3.7 TODOs ========= -Things to do for 3.6 final: +Things to do for 3.7: + -- move real todos onto Trac -- 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 + -- merge/fix of patch by Claire Quigley (check status with Larry/Tom/whoever) -- Coq updates check: symbols, linewidth, file handling -- Complete generification of adjust-line-width function (currently separately in lego, isar,plastic) |