Updated

1 files changed, 2 insertions, 15 deletions

diff --git a/todo b/todo
index 2ef0164a..7f1058bb 100644
--- a/todo
+++ b/todo
@@ -724,6 +724,8 @@ X pbp code doesn't quite accord with the tech report; in particular it
 * Things to do for Web Pages
 ============================
 
+B Improve screenshot: add several, like the gallery.
+
 B Validate pages.  
       Current failures for HTML 4.0 to do with CGI-style arguments with "&",
       this is a problem with PHP3 really.
@@ -736,18 +738,12 @@ C Broken (old) links:
 
 C Reduce text size and front page image, for 1024x768 screens.
 
-C Add pdf documentation as soon as DCS upgrades its ancient
-  TeX installation, or as soon as making release from elsewhere
-  works.  Also need to fix inclusion of image in pdf. 
-
 D Restructure so that page titles are different to help
   browsing.  (Move links_arr from header.phtml somewhere new,
   and set $pg_title appropriately before head.phtml is included).
 
 C Add etc/announce somewhere.
 
-C Add tool demo document
-
 C Convert to SSI only plus a meta-generation phase?
 
 X Check appearance in V3 browsers.
@@ -971,14 +967,5 @@ A Find new people to help advance and develop Proof General.
 A Polish ProofGeneral.texi and publish LaTeX as an LFCS
   Technical Report.  
 
-   * Fix page rearrangement to insert a blank page
-   * Fix typos/other stuff found by Dave.
-   * Improve trivial and uniformative docstrings.
-   * Fixup markup mistakes by editing docstrings.
-   * Update menus in texi
-  [6 hours]
-
 A Write paper on design and development of Proof General.
 
-A Put Proof General demo paper on the web.
-