From 31288fa32196efcde9b62e980aa9e3d83abc08ab Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Fri, 7 Jun 2019 15:57:46 +0200
Subject: [PATCH] Add CHANGELOG.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 6c1b6bab3..4fba95af8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -140,6 +140,9 @@ Changes in Coq:
       authoritative injection.
   - `auth_both_valid` → `auth_both_valid_2`
   - `auth_valid_discrete_2` → `auth_both_valid`
+* Add the camera `ufrac` for unbounded fractions (i.e. without fractions that
+  can be `> 1`) and the camera `ufrac_auth` for a variant of the authoritative
+  fractional camera (`frac_auth`) with unbounded fractions.
 
 ## Iris 3.1.0 (released 2017-12-19)
 
-- 
GitLab