From dd730ed0569d57944435b6bb599bffd8c382c126 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 23 Oct 2017 15:52:09 +0200
Subject: Remove compatibility with Coq.8.4 (and compatibility hacks that went
 with it)

---
 etc/ChangeLog | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'etc/ChangeLog')

diff --git a/etc/ChangeLog b/etc/ChangeLog
index f10e25c..12d6ef4 100644
--- a/etc/ChangeLog
+++ b/etc/ChangeLog
@@ -1,6 +1,10 @@
-07/09/2016 - compatibility with Coq 8.7 and several small fixes - version 1.7
+07/09/2016 - compatibility with Coq 8.7 and several small fixes -
+	version 1.6.2 and upcomming version 1.7
 	* Compatibility with Coq 8.7
+	* Lost compatibility with Coq 8.4
 
+07/09/2016 - compatibility with Coq 8.7 and several small fixes -
+	upcomming version 1.7
 	* New Theorems:
 	   dec_factor_theorem, abstract_context,
 	   mul_bin_down, mul_bin_left
@@ -15,7 +19,8 @@
 	* Plugin:
 	  ssrpattern: compose nicely with Tactic Notation
 
-25/08/2016 - refactoring of algC and complex in ssrnum
+25/08/2016 - refactoring of algC and complex in ssrnum -
+	upcomming version 1.7
 	* ssrnum's interface numClosedFieldType factors some theory from
 	  both complex and algC. Because of that Re, Im, 'i, conjC, n.-root
 	  and sqrtC are not specialized to algC anymore. In case of
-- 
cgit v1.2.3