diff options
| author | Cyril Cohen | 2017-10-26 14:32:52 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-26 14:32:52 +0200 |
| commit | d5437703555329168288467dc1a94b1176e1776e (patch) | |
| tree | 3c1759c526d3588ec17ddc356b588a049de75bef /etc/ChangeLog | |
| parent | f418fee13c770b27f2bf4fbfdfa2a1179596355e (diff) | |
| parent | dd730ed0569d57944435b6bb599bffd8c382c126 (diff) | |
Merge pull request #149 from CohenCyril/no-compat-coq.8.4
Remove compatibility with Coq.8.4
Diffstat (limited to 'etc/ChangeLog')
| -rw-r--r-- | etc/ChangeLog | 9 |
1 files changed, 7 insertions, 2 deletions
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 |