diff options
| author | Vincent Laporte | 2019-03-21 15:59:52 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-07-26 09:11:41 +0000 |
| commit | 56cc02a39a52485a732b3dc443e102a3511f8021 (patch) | |
| tree | 36b49844afaa95e720e0fb2ab67de19a6df4f23c /doc | |
| parent | 2f57090a48768f5cdc386110b0d21a620fe67d05 (diff) | |
[stdlib] Remove deprecated module Zsqrt_compat
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/10-standard-library/09811-remove-zlogarithm.rst | 3 | ||||
| -rw-r--r-- | doc/stdlib/index-list.html.template | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/changelog/10-standard-library/09811-remove-zlogarithm.rst b/doc/changelog/10-standard-library/09811-remove-zlogarithm.rst index 3533764964..ab625b9e03 100644 --- a/doc/changelog/10-standard-library/09811-remove-zlogarithm.rst +++ b/doc/changelog/10-standard-library/09811-remove-zlogarithm.rst @@ -1,3 +1,4 @@ -- Removes deprecated module `Coq.ZArith.Zlogarithm` +- Removes deprecated modules `Coq.ZArith.Zlogarithm` + and `Coq.ZArith.Zsqrt_compat` (#9881 <https://github.com/coq/coq/pull/9811> by Vincent Laporte). diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 8d481b7f03..8b5ede7036 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -181,7 +181,6 @@ through the <tt>Require Import</tt> command.</p> theories/ZArith/Zhints.v (theories/ZArith/ZArith_base.v) theories/ZArith/Zcomplements.v - theories/ZArith/Zsqrt_compat.v theories/ZArith/Zpow_def.v theories/ZArith/Zpow_alt.v theories/ZArith/Zpower.v |