diff options
| author | Théo Zimmermann | 2020-01-22 19:24:48 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-21 19:04:02 +0100 |
| commit | 76a4f90f4d52558590759ea86a122a2a287b9be2 (patch) | |
| tree | 3641c9df54dfb9ddb0249ccdeb442a87cfe0eb6e /doc/stdlib | |
| parent | 4d025d4161599ea20cd1dbf489a6412f019a7a7e (diff) | |
Add module ZifyPow to avoid compatibility issue with 8.11.
Also tweak the changelog entry to explain the difference.
Diffstat (limited to 'doc/stdlib')
| -rw-r--r-- | doc/stdlib/hidden-files | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files index 60d6039b0f..67d0b37e81 100644 --- a/doc/stdlib/hidden-files +++ b/doc/stdlib/hidden-files @@ -50,6 +50,7 @@ theories/micromega/ZifyInst.v theories/micromega/ZifyBool.v theories/micromega/ZifyComparison.v theories/micromega/ZifyClasses.v +theories/micromega/ZifyPow.v theories/micromega/Zify.v theories/nsatz/Nsatz.v theories/omega/Omega.v |