diff options
| author | David Aspinall | 2006-02-14 16:22:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-02-14 16:22:32 +0000 |
| commit | eb1584e90cfeef792ec080828685970f7dc8c2b6 (patch) | |
| tree | 73425c29bb1ffb68b3805823a8565f324f2b92bd | |
| parent | 97b77d0581087e465485c4049f5252949430d1c2 (diff) | |
Note
| -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. ============= |