aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall1999-09-28 16:44:35 +0000
committerDavid Aspinall1999-09-28 16:44:35 +0000
commit43f13e644f90831938549ac703ee3f33d1ad1f65 (patch)
tree89f3f76e0deeaa465d5133f476f718bfc8086172
parent0c745889b8359fdf01e0e5c604e7e01b37bb2a8e (diff)
Updated
-rw-r--r--todo3
1 files changed, 2 insertions, 1 deletions
diff --git a/todo b/todo
index bb4c60e6..6a413d98 100644
--- a/todo
+++ b/todo
@@ -80,7 +80,8 @@ A Usability enhancement:
A Usability enhancement:
Add toolbar button for interrupting.
-
+B Web pages: improve screenshots section to include a slideshow, or
+ at least, a series of pictures of PG in action. (3 hours)
D bug: outline mode when proof-strict-read-only is nil ought to
work, but there may be problems.