Updated.

2 files changed, 13 insertions, 9 deletions

diff --git a/README-3.6pre b/README-3.6pre
index c5416a7b..aa305cc7 100644
--- a/README-3.6pre
+++ b/README-3.6pre
@@ -1,15 +1,19 @@
 This is a pre-release of version 3.6 of Proof General.
 
-We are working on improving Coq support of PG 3.5, including:
+There are improvements to Coq support, minor improvements to
+documentation, and some improvements for Isabelle, in particular to
+support additional features in the current CVS version of Isabelle.
 
-  -- fixes to X-Symbol symbols
-  -- multiple file handling
-  -- automatic adjusting of line width
+=============
 
-There are other minor improvements to documentation, and some
-improvements for Isabelle, in particular to support additional features
-in the current CVS version of Isabelle.
+Things to do for 3.6 final:
 
-[da, 4/6/04].
+ -- nuisance fix needed for docstring magic because of pruning of spaces 
+    from empty lines in all docstrings by Stefan Monnier (argh!)
+ -- merge/fix of patch by Claire Quigley
+ -- Coq updates check: symbols, linewidth, file handling
+
+
+[da, 10/8/05].
 
 
diff --git a/etc/desktop/README b/etc/desktop/README
index d786a316..e7012a8e 100644
--- a/etc/desktop/README
+++ b/etc/desktop/README
@@ -1,7 +1,7 @@
 You can install files in this directory to add desktop integration
 for Proof General.  This is presently done in the RPM file.
 
-See http://www.freedesktop.org/standards/desktop-entry-spec
+See http://standards.freedesktop.org/desktop-entry-spec/
 
 Please add i18n alternatives and other improvements if you'd like to
 see them on your desktop, and send them back to me.  - da