diff options
Diffstat (limited to 'doc/changelog/12-misc')
| -rw-r--r-- | doc/changelog/12-misc/10486-native-string-extraction.rst | 7 | ||||
| -rw-r--r-- | doc/changelog/12-misc/11755-exn+tclfail.rst | 4 |
2 files changed, 0 insertions, 11 deletions
diff --git a/doc/changelog/12-misc/10486-native-string-extraction.rst b/doc/changelog/12-misc/10486-native-string-extraction.rst deleted file mode 100644 index 0636e303c4..0000000000 --- a/doc/changelog/12-misc/10486-native-string-extraction.rst +++ /dev/null @@ -1,7 +0,0 @@ -- **Added:** - Support for better extraction of strings in OCaml and Haskell: - `ExtOcamlNativeString` provides bindings from the Coq `String` type to - the OCaml `string` type, and string literals can be extracted to literals, - both in OCaml and Haskell (`#10486 - <https://github.com/coq/coq/pull/10486>`_, by Xavier Leroy, with help from - Maxime Dénès, review by Hugo Herbelin). diff --git a/doc/changelog/12-misc/11755-exn+tclfail.rst b/doc/changelog/12-misc/11755-exn+tclfail.rst deleted file mode 100644 index 800cc09e01..0000000000 --- a/doc/changelog/12-misc/11755-exn+tclfail.rst +++ /dev/null @@ -1,4 +0,0 @@ -- **Added:** - Backtrace information for tactics has been improved - (`#11755 <https://github.com/coq/coq/pull/11755>`_, - by Emilio Jesus Gallego Arias). |