From fb7d8dffac3229b24967e135d174d29a1a560a31 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2006 13:18:42 +0000
Subject: Note about final 3.6 todo

---
 TODO.developer | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'TODO.developer')

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
-- 
cgit v1.2.3