From ba9f173363d704eb4ebca3c3a4ebc9403efbedf1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Dec 1998 15:51:00 +0000
Subject: Added A*** for documentation, X for ChangeLog in devel distrib.

---
 todo | 5 +++++
 1 file changed, 5 insertions(+)

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