From 1dafe0b65d7bf9238e1b01b1d11c211bfdcab1ea Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 18 Dec 2017 13:22:25 +0100
Subject: [PATCH] expand changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7ec06e5f..74d202bc 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,9 @@ API-breaking change is listed.
 
 ## std++ 1.1.0 (unfinished)
 
+Coq 8.5 is no longer supported by this release of std++.  Use std++ 1.0 if you
+have to use Coq 8.5.
+
 New features:
 
 - Many new lemmas about lists, vectors, sets, maps.
@@ -20,6 +23,8 @@ New features:
 Changes:
 
 - Get rid of `Automatic Coercions Import`, it is deprecated.
+  Also get rid of `Set Asymmetric Patterns`.
+- Various changes and improvements to `f_equiv` and `solve_proper`.
 - `Hint Mode` is now set for all operational type classes to make instance
   search less likely to diverge.
 - New type class `RelDecision` for decidable relations, and `EqDecision` is
-- 
GitLab