diff options
| author | David Aspinall | 2005-08-10 13:51:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-08-10 13:51:55 +0000 |
| commit | d9f22beab6fa3cae5dbd40341f54b6b2603e7227 (patch) | |
| tree | 4105d17384db22d3596868f3c87586ff20d5b0fb /README-3.6pre | |
| parent | 444bca102591b8c6b57714e781a68b74bf292d47 (diff) | |
Updated.
Diffstat (limited to 'README-3.6pre')
| -rw-r--r-- | README-3.6pre | 20 |
1 files changed, 12 insertions, 8 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]. |