Added A*** for documentation, X for ChangeLog in devel distrib.

1 files changed, 5 insertions, 0 deletions

diff --git a/todo b/todo
index 719d4be0..3a426eec 100644
--- a/todo
+++ b/todo
@@ -19,6 +19,8 @@ X (Low)    probably not worth wasting time on
 
 RELEASE 2.0 remaining problems:
 
+A***  Documentation polishing.
+
 A***  BUG: FSF Emacs process handling (check on proof-shell-insert fix), 
       killing buffer problems.
 
@@ -277,6 +279,9 @@ D Display management is much better than it was, but perhaps
     Perhaps retraction should set the flag to ensure
     it's cleared.
 
+X Add ChangeLog to developers distribution to give them
+  something more to look at.  (30mins).
+
 X Allow bib-cite style clicking on Load/Import commands to go
   to file.