From a43a5fc449f6532d51a2cfb6564f24d33e7b816d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 25 Jul 2016 17:45:53 +0200
Subject: [PATCH] add a CHANGELOG

---
 CHANGELOG.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 CHANGELOG.md

diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 000000000..4282a3886
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,11 @@
+In this changelog, we document "large-ish" changes to Iris that affect even the way the logic is used on paper.
+We do *not* document changesd of functions names or similar Coq-only API changes.
+Changes marked [*] still need to be ported to the Iris Documentation.
+
+## Iris 2.0
+
+[*] Make the core of an RA or CMRA a partial function.
+
+## Iris 2.0-rc1
+
+This is the Coq development and Iris Documentation as submitted to ICFP.
-- 
GitLab