diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-03-21 11:13:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-03-21 11:13:15 +0000 |
| commit | dac001edd3492cdf1af68ea4a72455ad9ed80876 (patch) | |
| tree | 6dcf13326fc3b0f4d7984124294d1d8f24f07e01 /CHANGES | |
| parent | f6f4e5b53c5ea80deeab607df44b368dca1cbde8 (diff) | |
Mention Stefan's patches
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -6,12 +6,18 @@ See also etc/release-log.txt for minor patches. *** Improved compatibility with Coq 8 +Several fixes. Also, removed support for Coq 6, 7. + *** Support for forthcoming Isabelle versions Menu function to display and print drafts of buffer contents. Support latest PGIP version inside Isabelle for settings configuration. +*** Miscellaneous fixes + +Patches from Stefan Monnier. + * Summary of Changes for Proof General 3.5 from 3.4 |