diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/10-standard-library/00000-title.rst | 1 | ||||
| -rw-r--r-- | doc/changelog/10-standard-library/09803-trigo.rst | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/doc/changelog/10-standard-library/00000-title.rst b/doc/changelog/10-standard-library/00000-title.rst index d517a0e709..a182366f03 100644 --- a/doc/changelog/10-standard-library/00000-title.rst +++ b/doc/changelog/10-standard-library/00000-title.rst @@ -1,3 +1,2 @@ **Standard library** - diff --git a/doc/changelog/10-standard-library/09803-trigo.rst b/doc/changelog/10-standard-library/09803-trigo.rst new file mode 100644 index 0000000000..10cb069a4c --- /dev/null +++ b/doc/changelog/10-standard-library/09803-trigo.rst @@ -0,0 +1,2 @@ + +- Addition to the Reals theory (`#09803 <https://github.com/coq/coq/pull/09803>`_ by Laurent Théry): |