1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGELOG b/CHANGELOG
index 84b2aae..13e9a02 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,8 @@
+
+AAC_tactics 0.3 :
+-----------------
+- New release for Coq 8.4 
+
 AAC_tactics 0.2-pl2 :
 -----------------