Release 3.0.1 here we come

AbsInt · Feb 14, 2017 · df145eb · df145eb
1 parent d8b75dc
commit df145eb
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/Changelog b/Changelog
@@ -1,3 +1,9 @@
+Release 3.0.1, 2017-02-14
+=========================
+
+- Ported to Coq 8.6.
+
+
 Release 3.0, 2017-02-10
 =======================
 

diff --git a/VERSION b/VERSION
@@ -1,3 +1,3 @@
-version=3.0
+version=3.0.1
 buildnr=
 tag=