aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-06-05 13:59:44 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-06-05 13:59:44 +0000
commit8ddfe310072fb9ba46cca11a3a52b45f1d9a94a2 (patch)
tree0284b28fab2b47970465830a28912062ed8789b3 /todo
parent4950120bd3be7914099a3bed8ca1bf61957256dc (diff)
Updated.
Diffstat (limited to 'todo')
-rw-r--r--todo4
1 files changed, 1 insertions, 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.