From 8ddfe310072fb9ba46cca11a3a52b45f1d9a94a2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 5 Jun 2000 13:59:44 +0000
Subject: Updated.

---
 todo | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/todo b/todo
index 2f7b3405..15db5ea1 100644
--- a/todo
+++ b/todo
@@ -54,6 +54,7 @@ X Solaris bugs: font locking and button enabling.
 
 *** Scheduled improvements for 3.2
 
+**** A Doc new bits: proof-next-error
 
 **** A Doc new bits: font lock keywords, filename %e, %r.
   Added proof-{script,shell,goals,resp}-font-lock-keywords.
@@ -850,9 +851,6 @@ C New modules:
 
 ** 5. Things to do for Web Pages, Distribution
 
-
-*** A Update ETAPS demo
-
 *** B Add some one-stop-shop pages.  Ask permission to redistribute
   packages for PAs.  Maybe do Windows and Linux versions.
 
-- 
cgit v1.2.3