From 7cb60ab1fba4ff5f6708790339f3d7c0faac38ec Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 22 Feb 2021 10:28:30 +0100 Subject: changelog for 8.13.1 --- doc/changelog/01-kernel/13867-changelog-for-13867.rst | 5 ----- doc/sphinx/changes.rst | 13 +++++++++++++ 2 files changed, 13 insertions(+), 5 deletions(-) delete mode 100644 doc/changelog/01-kernel/13867-changelog-for-13867.rst diff --git a/doc/changelog/01-kernel/13867-changelog-for-13867.rst b/doc/changelog/01-kernel/13867-changelog-for-13867.rst deleted file mode 100644 index 37e44b41c7..0000000000 --- a/doc/changelog/01-kernel/13867-changelog-for-13867.rst +++ /dev/null @@ -1,5 +0,0 @@ -- **Fixed:** - Fix arities of VM opcodes for some floating-point operations - that could cause memory corruption - (`#13867 `_, - by Guillaume Melquiond). diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 4769636ae8..596205e527 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -701,6 +701,19 @@ Commands and options (`#13556 `_, by Simon Friis Vindum). +Changes in 8.13.1 +~~~~~~~~~~~~~~~~~ + +Kernel +^^^^^^ + +- **Fixed:** + Fix arities of VM opcodes for some floating-point operations + that could cause memory corruption + (`#13867 `_, + by Guillaume Melquiond). + + Version 8.12 ------------ -- cgit v1.2.3 From 2c1e2cda670e720156a32a16e7999548cd41cc94 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 22 Feb 2021 12:43:41 +0100 Subject: mention --version to CoqIDE --- doc/sphinx/changes.rst | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 596205e527..ea099eb52e 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -713,6 +713,14 @@ Kernel (`#13867 `_, by Guillaume Melquiond). +CoqIDE +^^^^^^ + +- **Added:** + Option ``-v`` and ``--version`` to CoqIDE + (`#13870 `_, + by Guillaume Melquiond). + Version 8.12 ------------ -- cgit v1.2.3