diff options
| author | Théo Zimmermann | 2019-04-23 19:05:53 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:10:17 +0200 |
| commit | deb35e4fc79909e0695fa719847394f1f8567442 (patch) | |
| tree | 3b1b4c61d24180c601419360cfb444ecf1733d7c | |
| parent | 890f206ebea4a14f5be8b273cee4ae8f99ca25e1 (diff) | |
Change entry for #9906.
| -rw-r--r-- | doc/sphinx/changes.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index d8ea9c1552..0a9e9b55ff 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -256,6 +256,9 @@ Other changes in 8.10+beta1 and `#9705 <https://github.com/coq/coq/issues/9705>`_, by Jason Gross) + - 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). + - Specification language, type inference: - Fixing a missing check in interpreting instances of existential |