add CHANGES.md

garrigue · Apr 11, 2020 · e8ad3c5 · e8ad3c5
1 parent 780cdef
commit e8ad3c5
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/CHANGES.md 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