diff options
| author | David Aspinall | 2007-02-28 12:15:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-02-28 12:15:43 +0000 |
| commit | 15045a394f2b374ffe3e687db3d0ee4de3848ee6 (patch) | |
| tree | 1a55db60dd4e32d62b720c3654b5825e0295ab03 | |
| parent | 16915b7afd9dc306902c6b389a3fa2c777a17762 (diff) | |
Renamed file
| -rw-r--r-- | README-3.7pre (renamed from README-3.6pre) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/README-3.6pre b/README-3.7pre index 0de9bdb9..8e1e6501 100644 --- a/README-3.6pre +++ b/README-3.7pre @@ -1,4 +1,4 @@ -This is a pre-release of version 3.6 of Proof General. +This is a pre-release of version 3.7 of Proof General. There are improvements to Coq support, minor improvements to documentation, and some improvements for Isabelle, in particular to @@ -11,6 +11,6 @@ Support for Unicode-safe interaction modes has been added (i.e., not using Unicode-prefix characters as specials). -[da, 10/8/05]. +[da, 3/1/07]. |