From e3ed0493a7dd8d47e21080923213436a27c87835 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Mar 2007 17:22:35 +0000
Subject: Updated.

---
 TODO.developer | 7 ++++---
 1 file 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)
-- 
cgit v1.2.3