diff --git a/CHANGES.md b/CHANGES.md
new file mode 100644
index 0000000..52daedc
--- /dev/null
+++ b/CHANGES.md
@@ -0,0 +1,21 @@
+# Certified Interpreter April 2020
+
+2020-04-08 [Jacques]
+  * update for Coq 8.11
+ 
+2019-11-18 [Xuanrui]
+  * remove some warnings
+
+# Certified Interpreter November 2019
+
+2019-11-15 [Jacques]
+  * update for Coq 8.10
+
+2013-01-17 [Jacques]
+  * update for Coq 8.4
+
+2012-06-18 [Jacques]
+  * update for Coq 8.3
+
+2010-10-25 [Jacques]
+  * release for APLAS paper