From bdcef127b212f6acd85d4eeb16a008491bd50740 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 15 Jan 2015 07:51:25 +0100
Subject: Mention CHANGES file in COMPATIBILITY.

---
 COMPATIBILITY | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 57553f9e1a..2ce29346c5 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -1,6 +1,8 @@
 Potential sources of incompatibilities between Coq V8.4 and V8.5
 ----------------------------------------------------------------
 
+(see also file CHANGES)
+
 Universe Polymorphism.
 
 - Refinement, unification and tactics are now aware of universes,
-- 
cgit v1.2.3