From 69ed7f0ac9d651eaab85153ea55f5c7d9bf6ae20 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 11 Nov 2015 18:14:40 -0500
Subject: Update CHANGES

Mention compatibility file.
---
 CHANGES | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/CHANGES b/CHANGES
index f67c34b81b..719be44929 100644
--- a/CHANGES
+++ b/CHANGES
@@ -68,6 +68,13 @@ Tools
   path of a given library rather than a physical path, thus they behave like
   Require [Import] path.
 
+Standard Library
+
+ - There is now a Coq.Compat.Coq84 library, which sets the various compatibility
+   options and does a few redefinitions to make Coq behave more like Coq v8.4.
+   The standard way of putting Coq in v8.4 compatibility mode is to pass the command
+   line flags "-require Coq.Compat.Coq84 -compat 8.4".
+
 Changes from V8.5beta1 to V8.5beta2
 ===================================
 
-- 
cgit v1.2.3