diff options
| author | Gaëtan Gilbert | 2019-10-05 11:37:27 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-05 15:19:14 +0200 |
| commit | 825d0737069debb8e16c44cd49ad3a273211f76c (patch) | |
| tree | 1ed990252f420adde13eb8897b3cefe01d9bda97 | |
| parent | 17a1bd7affa439a9a79ecdc34266dd235835192d (diff) | |
Changelog for SProp on
| -rw-r--r-- | doc/changelog/01-kernel/10811-sprop-default-on.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/changelog/01-kernel/10811-sprop-default-on.rst b/doc/changelog/01-kernel/10811-sprop-default-on.rst new file mode 100644 index 0000000000..349c44c205 --- /dev/null +++ b/doc/changelog/01-kernel/10811-sprop-default-on.rst @@ -0,0 +1,3 @@ +- Using ``SProp`` is now allowed by default, without needing to pass + ``-allow-sprop`` or use :flag:`Allow StrictProp` (`#10811 + <https://github.com/coq/coq/pull/10811>`_, by Gaëtan Gilbert). |