diff options
| author | Cyril Cohen | 2018-08-03 12:59:32 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-08-03 12:59:32 +0200 |
| commit | ceec387c6e912f83b918955011caacc14a825da3 (patch) | |
| tree | 603e4ba1550937448246043cfffe3bde544852ca /ChangeLog | |
| parent | a1dd9b3fcb9d5dbac3c75466d9a92ddb181c8da3 (diff) | |
update ChangeLog and doc
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |