From ceec387c6e912f83b918955011caacc14a825da3 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 3 Aug 2018 12:59:32 +0200
Subject: update ChangeLog and doc

---
 ChangeLog | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index 13045e9..d59a140 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+??/??/???? - version 1.7.1
+	* Added companion matrix of a polynomial `companionmx p` and the
+	  theorems: companionmxK, map_mx_companion and companion_map_poly
+
 24/04/2018 - compatibility with Coq 8.8 and several small fixes - version 1.7
 
 	* Added compatibility with Coq 8.8 and lost compatibility with
-- 
cgit v1.2.3