From 8917ab003a9b7f2abf8e399b5e7ad013b31a2e0e Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 20 Sep 2012 09:41:14 +0200
Subject: Imported Upstream version 0.3

---
 CHANGELOG | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'CHANGELOG')

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 :
 -----------------
 
-- 
cgit v1.2.3