aboutsummaryrefslogtreecommitdiffhomepage
path: root/TODO.developer
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2007-03-03 17:22:35 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2007-03-03 17:22:35 +0000
commite3ed0493a7dd8d47e21080923213436a27c87835 (patch)
tree03c24b53cfc456b967807b862f7b36c5600e12bd /TODO.developer
parent6f1bb7d35ccbcf0763427edaa858dbf4b99f1d70 (diff)
Updated.
Diffstat (limited to 'TODO.developer')
-rw-r--r--TODO.developer7
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)