Updated.

2 files changed, 14 insertions, 24 deletions

diff --git a/html/develdownload.php b/html/develdownload.php
index 37d838bb..c1d854b7 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -73,11 +73,6 @@ version, and notes about work-in-progress.  </p>
 <td><a href="ProofGeneral">http access to files in development release</a>
 </tr>
 </table>
-<p>
-NB: we no longer distribute the source RPM, since you can build
-both source and  "binary" RPMs direct from the tarball using
-"rpm -ta".
-</p>
 <!-- End Warning. -->
 <p> 
 <b>Emacs versions:</b>
@@ -105,12 +100,9 @@ the <a href="download#install">stable version download</a>.
 
 
 <!-- WARNING!  Line below automatically edited by makefile. -->
-<h2><a name="devel">Complete archive of ProofGeneral-3.4pre020829 for developers</a></h2>
+<h2><a name="devel">CVS snapshot of ProofGeneral-3.4pre020829 for developers</a></h2>
 <!-- End Warning. -->
 
-<p>
-This archive is a snapshot from our CVS repository. 
-</p>
 <ul>
   <li> gzip'ed tar file: 
 <!-- WARNING!  Line below automatically edited by makefile. -->
@@ -119,8 +111,9 @@ This archive is a snapshot from our CVS repository.
   </li>
 </ul>
 <p>
-What's the difference from the user's pre-release above?
-The complete archive also includes:
+This tarball contains all of our development files, including some
+files not present in the released version of Proof General.
+Specifically:
 </p>
 <ul>
   <li> the low-level developer's todo files 
@@ -132,10 +125,8 @@ The complete archive also includes:
  </li>
   <li> developer's Makefile used to generate documentation files 
        and the release itself,</li>
-  <li> test files, </li>
-  <li> image source files, </li>
-  <li> the web pages, </li>
-  <li> working instantiations of Proof General for new provers </li>
+  <li> test files, image source files, the web pages, and sometimes </li>
+  <li> working instantiations of Proof General for new provers. </li>
 </ul>
 <p>
 Most people don't need this.  Note that there are no pre-built
diff --git a/todo b/todo
index 984cab31..bb42cfda 100644
--- a/todo
+++ b/todo
@@ -675,24 +675,20 @@ Output written on ProofGeneral.pdf (2 pages, 54702 bytes).
 
 
 *** A Journal paper on design and development of Proof General.
-
 *** A Grant proposal for Proof General Kit.
-
-*** A Make informatics research reports from latest docs.
-
+*** A Informatics research reports from latest docs.
 *** A Small project grant from LFCS for summer student (2003)
 
-*** C PG CDROM: CDROM with PG and other theorem provers
-    Complete read-to-go distributions.  Could make up from
-    TYPES summer school systems to make sure of a consistent
-    set of progs?
+*** C PG CDROM: CDROM with PG and other theorem provers 
+    Complete read-to-go distributions.  Could make up from TYPES 2002 
+    summer school systems to make sure of a consistent set of progs?
 
 *** B Find new people to help advance and develop Proof General.
   Getting more instances is a good way.  Also encouraging feedback.
   Hear stories of bugs by word-of-mouth, they don't get reported often
   enough.
 
-*** A Add more PG projects, publicise them.
+*** A PG projects
 
 *** B PG auxiliary contributions 
 	- span library
@@ -738,3 +734,6 @@ List of things postponed from PG 3.4: need to be merged above
     This needs to be fixed up in count undos, find-and-forget.
 
 *** Generic versions of count undos and find-and-forget generic.
+
+*** Key bindings on proof-universal-keys missing from scripting menu
+    (XEmacs)