coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-05-13	Missing change entry for #9854.	Théo Zimmermann

2019-05-13	Move last changelog entries for 8.10+beta1.	Théo Zimmermann

2019-05-08	Define a new `is_a_released_version` variable in configure.ml.	Théo Zimmermann
	Use it to not include unreleased changes when building a released version.
2019-05-05	New infrastructure for the unreleased changelog.	Théo Zimmermann
	Move existing entries.
2019-04-30	Change entry from #9651.	Théo Zimmermann

2019-04-30	Change entry for #10014.	Théo Zimmermann

2019-04-30	Add number of commits, PRs and issues closed.	Théo Zimmermann

2019-04-30	Advertize continuous deployment of documentation.	Théo Zimmermann

2019-04-30	More review suggestions.	Théo Zimmermann

2019-04-30	Remove remaining references to CHANGES.md from the Recent changes chapter.	Théo Zimmermann

2019-04-30	Remove misplaced CHANGES entry and fix links formatting.	Théo Zimmermann
	PR #8187 misplaced its CHANGES entry. We remove it in this commit instead of moving it to the right place because it is reverted in #9987.
2019-04-30	Finish adding authors and links to PRs.	Théo Zimmermann

2019-04-30	Change entry for #9906.	Théo Zimmermann

2019-04-30	Split changes between main changes and other changes (no repetition).	Théo Zimmermann
	Add more links to PRs and credits of authors.
2019-04-30	Remove 8.10 entries from CHANGES file.	Théo Zimmermann

2019-04-30	First fixing pass, and experiment with dune-style PR number and author listing.	Théo Zimmermann

2019-04-30	Apply suggestions from code review	Théo Zimmermann
	Mainly markup fixes by Theo Co-Authored-By: mattam82 <matthieu.sozeau@inria.fr>
2019-04-30	Credits for 8.10	Matthieu Sozeau

2019-03-31	Move content of COMPATIBILITY to Changes chapter.	Théo Zimmermann

2019-03-31	Move V8 CHANGES to Changes chapter.	Théo Zimmermann

2019-03-31	Split credits chapter in two parts: history, and changelog in inverse ↵	Théo Zimmermann
	chronological order.