From a855fbd57bb569ce93ad89524071056c37d3146a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 3 Nov 2010 16:58:56 +0000
Subject: Updated.

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

diff --git a/CHANGES b/CHANGES
index 29fcf03d..fe802433 100644
--- a/CHANGES
+++ b/CHANGES
@@ -11,6 +11,11 @@
 
 *** Unicode tokens enabled by default
 
+** Coq changes
+
+*** Fixes for Coq 8.3
+
+
 
 
 * Main Changes for Proof General 4.0 from 3.7.1
-- 
cgit v1.2.3