diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/changes.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index c30e90a1f3..6d9979a704 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -574,13 +574,13 @@ Changes in 8.11.0 and `#11270 <https://github.com/coq/coq/issues/11270>`_, by Frédéric Besson). - **Deprecated:** The undocumented ``omega with`` tactic variant has been deprecated. - Using :tacn:`lia` is the recommended replacement, tho the old semantics + Using :tacn:`lia` is the recommended replacement, though the old semantics of ``omega with *`` can be recovered with ``zify; omega`` (`#11337 <https://github.com/coq/coq/pull/11337>`_, by Emilio Jesus Gallego Arias). - **Fixed** For compatibility reasons, in 8.11, :tacn:`zify` does not support :g:`Z.pow_pos` by default. - It can be enabled by loading explicitly the module :g:`ZifyPow` + It can be enabled by explicitly loading the module :g:`ZifyPow` (`#11430 <https://github.com/coq/coq/pull/11430>`_ by Frédéric Besson fixes `#11191 <https://github.com/coq/coq/issues/11191>`_). @@ -636,7 +636,7 @@ Changes in 8.11.0 **Infrastructure and dependencies** - **Added:** - Build date can now be overriden by setting the `SOURCE_DATE_EPOCH` + Build date can now be overridden by setting the `SOURCE_DATE_EPOCH` environment variable (`#11227 <https://github.com/coq/coq/pull/11227>`_, by Bernhard M. Wiedemann). |