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 /README-3.7pre | |
| parent | 16915b7afd9dc306902c6b389a3fa2c777a17762 (diff) | |
Renamed file
Diffstat (limited to 'README-3.7pre')
| -rw-r--r-- | README-3.7pre | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/README-3.7pre b/README-3.7pre new file mode 100644 index 00000000..8e1e6501 --- /dev/null +++ b/README-3.7pre @@ -0,0 +1,16 @@ +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 +support additional features in Isabelle 2005. + +Compatibility has been improved for more Emacs versions across +different operating systems. + +Support for Unicode-safe interaction modes has been added (i.e., +not using Unicode-prefix characters as specials). + + +[da, 3/1/07]. + + |