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 | |
parent | f6f4e5b53c5ea80deeab607df44b368dca1cbde8 (diff) |
Mention Stefan's patches
-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 |