diff options
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]. + + |