From a490cd5bc3a82d1b59d7973d8d83a94c355966f5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 12 Dec 2016 19:42:11 +0100
Subject: [PATCH] clarify CHANGELOG

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5e2a44373..aa2753d8e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -47,7 +47,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
 
 ## Iris 2.0-rc2
 
-This version matches the final ICFP paper.
+This version matches the final ICFP 2016 paper.
 
 * [algebra] Make the core of an RA or CMRA a partial function.
 * [program_logic/lifting] Lifting lemmas no longer round-trip through a
@@ -57,4 +57,4 @@ This version matches the final ICFP paper.
 
 ## Iris 2.0-rc1
 
-This is the Coq development and Iris Documentation as submitted to ICFP.
+This is the Coq development and Iris Documentation as submitted to ICFP 2016.
-- 
GitLab