diff options
author | 2000-06-05 13:59:44 +0000 | |
---|---|---|
committer | 2000-06-05 13:59:44 +0000 | |
commit | 8ddfe310072fb9ba46cca11a3a52b45f1d9a94a2 (patch) | |
tree | 0284b28fab2b47970465830a28912062ed8789b3 /todo | |
parent | 4950120bd3be7914099a3bed8ca1bf61957256dc (diff) |
Updated.
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -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. |