From 80f74c41ebb995c45191988ed22f22a98a548d61 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 26 Jul 2021 09:32:14 +0000
Subject: [PATCH] tweak changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2957ddba8..a11bd3dd3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -63,7 +63,7 @@ Coq 8.11 is no longer supported in this version of Iris.
 * Improvements to `BiMonoPred`:
   - Use `â–¡`/`-âˆ—` instead of `<pers>`/`â†’`.
   - Strengthen to ensure that functions for recursive calls are non-expansive.
-* Add `big_andM` with lemmas similar to `big_andL`.
+* Add `big_andM` (big conjunction on finite maps) with lemmas similar to `big_andL`.
 
 **Changes in `proofmode`:**
 
-- 
GitLab