From ddb9645d8a827cf8a47b60fbcd21a690653d736f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 11:46:09 +0000
Subject: Updated for 3.6 release

---
 CHANGES | 15 +++++++++++++--
 1 file 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")
-- 
cgit v1.2.3