From bb28e524e9673216c667d78ba9800097319955b4 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 1 Nov 2019 13:29:30 +0100
Subject: [PATCH] add coq support changes to changelog

---
 CHANGELOG.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index edf2268c4..8ddd56498 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -12,6 +12,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
 
 **Changes in Coq:**
 
+* Added support for Coq 8.10; dropped support for Coq 8.7.
 * A new tactic `iStopProof` to turn the proof mode entailment into an ordinary
   Coq goal `big star of context ⊢ proof mode goal`.
 * Rename `iProp`/`iPreProp` to `iPropO`/`iPrePropO` since they are `ofeT`s.
-- 
GitLab