From dac001edd3492cdf1af68ea4a72455ad9ed80876 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 21 Mar 2005 11:13:15 +0000
Subject: Mention Stefan's patches

---
 CHANGES | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGES b/CHANGES
index 73ce72b8..8a3a8364 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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
 
-- 
cgit v1.2.3