blob: 8e1e6501b238207093c0db8fcbe076a35a3a9b9b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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].
|
