From e81fcc34ccc43fd7dbe0d6da5c6b4d2bf5c76596 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 21 Oct 2016 10:03:36 +0200
Subject: [PATCH] this is an rc (and we still have some file renaming planned
 before the release)

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index afe0debcb..40663365c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,9 +1,11 @@
 In this changelog, we document "large-ish" changes to Iris that affect even the
 way the logic is used on paper.  We also mention some significant changes in the
 Coq development, but not every API-breaking change is listed.  Changes marked
-[#] still need to be ported to the Iris Documentation LaTeX file(s).
+`[#]` still need to be ported to the Iris Documentation LaTeX file(s).
 
-## Iris 3.0
+## Iris 3.0~rc1
+
+This version matches the ESOP submission.
 
 * View shifts are radically simplified to just internalize frame-preserving
   updates.  Weakestpre is defined inside the logic, and invariants and view
-- 
GitLab