diff options
| author | Théo Zimmermann | 2019-04-29 17:24:26 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:10:18 +0200 |
| commit | 73a0d923563b5ec157d517eb5e8ea1c794be64a9 (patch) | |
| tree | e0a4dfba9e7143419da95bcba7038107b09035e1 | |
| parent | 5e37ef7fedf16a10b18d08c87a20e2dc42dde19a (diff) | |
Change entry for #10014.
| -rw-r--r-- | doc/sphinx/changes.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 441170e419..3b34973306 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -269,6 +269,10 @@ Other changes in 8.10+beta1 - coq_makefile's install target now errors if any file to install is missing (`#9906 <https://github.com/coq/coq/pull/9906>`_, by Gaëtan Gilbert). + - Preferences from ``coqide.keys`` are no longer overridden by + modifiers preferences in ``coqiderc`` + (`#10014 <https://github.com/coq/coq/pull/10014>`_, by Hugo Herbelin). + - Specification language, type inference: - Fixing a missing check in interpreting instances of existential |