diff options
| author | Théo Zimmermann | 2019-10-06 12:59:17 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-06 12:59:17 +0200 |
| commit | ee4ee17d86ddb11a6508335b9e5d5792bcdf6a8a (patch) | |
| tree | 80aa8c4d7bb6889e7f63ebc0a4b2ecb995966391 /doc/sphinx | |
| parent | 97a2047d32aa1dc8689ff65eff5f82a6efa74656 (diff) | |
8.10.0 release notes.
Diffstat (limited to 'doc/sphinx')
| -rw-r--r-- | doc/sphinx/changes.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 38b3c34209..0148925247 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -718,6 +718,14 @@ Changes in 8.10+beta3 follow-up of `#8365 <https://github.com/coq/coq/pull/8365>`_, which added ``uncons`` in 8.10+beta1). +Changes in 8.10.0 +~~~~~~~~~~~~~~~~~ + +- Micromega tactics (:tacn:`lia`, :tacn:`nia`, etc) are no longer confused by + primitive projections (`#10806 <https://github.com/coq/coq/pull/10806>`_, + fixes `#9512 <https://github.com/coq/coq/issues/9512>`_ + by Vincent Laporte). + Version 8.9 ----------- |