diff options
| -rw-r--r-- | README-3.6pre | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/README-3.6pre b/README-3.6pre index aa305cc7..1316ee3e 100644 --- a/README-3.6pre +++ b/README-3.6pre @@ -2,7 +2,9 @@ This is a pre-release of version 3.6 of Proof General. 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. +support additional features in Isabelle 2005. + +Compatibility has been improved for more Emacs versions. ============= |