Updated for 3.6 release

1 files changed, 13 insertions, 2 deletions

diff --git a/CHANGES b/CHANGES
index 3aebc309..73ce72b8 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,9 +1,20 @@
 -*- outline -*-
 
-* Summary of Changes for Proof General 3.5 from 3.4
-
 See also etc/release-log.txt for minor patches.
 
+* Summary of Changes for Proof General 3.6 from 3.5
+
+*** Improved compatibility with Coq 8
+
+*** Support for forthcoming Isabelle versions
+
+Menu function to display and print drafts of buffer contents.
+Support latest PGIP version inside Isabelle for settings
+configuration.
+
+
+* Summary of Changes for Proof General 3.5 from 3.4
+
 ** Generic changes
 
 *** Support for Speedbar and Index menu ("Imenu")