diff options
| author | Théo Zimmermann | 2019-05-05 11:49:50 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-05 19:23:27 +0200 |
| commit | 50b148154fada66bb1145aaba696d9b427511592 (patch) | |
| tree | 81288272de52b007499b1d8d5933aad508c1660a /doc | |
| parent | d50433a9ca321ed0b28996567f72ac9654bf4422 (diff) | |
Add changelog entry about moving changelog to refman.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/12-misc/09964-changes.rst | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/changelog/12-misc/09964-changes.rst b/doc/changelog/12-misc/09964-changes.rst new file mode 100644 index 0000000000..1113782180 --- /dev/null +++ b/doc/changelog/12-misc/09964-changes.rst @@ -0,0 +1,13 @@ +- Changelog has been moved from a specific file `CHANGES.md` to the + reference manual; former Credits chapter of the reference manual has + been split in two parts: a History chapter which was enriched with + additional historical information about Coq versions 1 to 5, and a + Changes chapter which was enriched with the content formerly in + `CHANGES.md` and `COMPATIBILITY` + (`#9133 <https://github.com/coq/coq/pull/9133>`_, + `#9668 <https://github.com/coq/coq/pull/9668>`_, + `#9939 <https://github.com/coq/coq/pull/9939>`_, + `#9964 <https://github.com/coq/coq/pull/9964>`_, + by Théo Zimmermann, + with help and ideas from Emilio Jesús Gallego Arias, + Clément Pit-Claudel, Matthieu Sozeau, and Enrico Tassi). |