1 files changed, 0 insertions, 5 deletions

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