diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-03-03 17:22:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-03-03 17:22:35 +0000 |
commit | e3ed0493a7dd8d47e21080923213436a27c87835 (patch) | |
tree | 03c24b53cfc456b967807b862f7b36c5600e12bd /TODO.developer | |
parent | 6f1bb7d35ccbcf0763427edaa858dbf4b99f1d70 (diff) |
Updated.
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) |