diff options
-rw-r--r-- | README-3.6pre | 20 | ||||
-rw-r--r-- | etc/desktop/README | 2 |
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 |