From ff5a3eaf399d84bf9a9baaaf63332883b6d0b55c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Sep 2001 12:45:53 +0000
Subject: Update todo

---
 todo | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/todo b/todo
index ea5e72d5..98ce68c8 100644
--- a/todo
+++ b/todo
@@ -32,13 +32,10 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to in the generic interface
 
-FOR 3.3:
+*** B Documentation:
+      Check new doc for hiding; add doc for dependencies, tracing.
+      Moving spans; navigating through locked region.
 
-*** A Fix movement commands
-
-*** A Doc visibility controls
-
-====================
 
 *** C Fix byte compilation
       Problem with proof-ass macro mechanism -- gets expanded during compilation.
-- 
cgit v1.2.3