From b52e911ca2c993a48bb9e003a7834b435c1aa5d6 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 26 Apr 2019 10:43:02 +0200
Subject: [PATCH] Update CHANGELOG.md

---
 CHANGELOG.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8fa37459..9cf819ad 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,7 +4,7 @@ API-breaking change is listed.
 ## std++ 1.2.0 (released TBA)
 
 Coq 8.9 is supported by this release, but Coq 8.6 is no longer supported. Use
-std++ 1.1 if you have to use Coq 8.6. The repository moved to a new location:
+std++ 1.1 if you have to use Coq 8.6. The repository moved to a new location at
 https://gitlab.mpi-sws.org/iris/stdpp and automatically generated Coq-doc of
 master is available at https://plv.mpi-sws.org/coqdoc/stdpp/.
 
@@ -27,7 +27,7 @@ New features:
   and `rtsc`, respectively).
 - Different notions of confluence (diamond property, confluence, local
   confluence) and the relations between these.
-- Define a `size` function for finite maps and prove some properties.
+- A `size` function for finite maps and prove some properties.
 - More results about `Qp` fractions.
 - More miscellaneous results about sets, maps, lists, multisets.
 - Various type class utilities, e.g. `TCEq`, `TCIf`, `TCDiag`, `NoBackTrack` and
-- 
GitLab