diff options
| author | Théo Zimmermann | 2020-05-23 12:58:37 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-27 15:38:24 +0200 |
| commit | 2f0a89e59e615e6101096b36e12e7b7bbace8eff (patch) | |
| tree | e8977106107f01acf785c509583e4b03628d8873 /doc/changelog/12-misc | |
| parent | 1f04d9e08372284ac932545292dc7a50e5226ed3 (diff) | |
Release notes for 8.12.
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). |