diff options
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 |