From c57f36f0deb5e2946292a7370c7471f1068f1041 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 5 Dec 2017 18:27:24 +0100
Subject: [PATCH] Update Changelog.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2b37214d1..d8d228dc6 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -93,6 +93,7 @@ sed 's/\bPersistentP\b/Persistent/g; s/\bTimelessP\b/Timeless/g; s/\bCMRADiscret
 * Some extensions/improvements of heap_lang:
   - Improve handling of pure (non-state-dependent) reductions.
   - Add fetch-and-add (`FAA`) operation.
+  - Syntax for all Coq's binary operations on `Z`.
 * Use `Hint Mode` to prevent Coq from making arbitrary guesses in the presence
   of evars, which often led to divergence. There are a few places where type
   annotations are now needed.
-- 
GitLab