coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	coq_makefile: FLAG make variables should not contain LIBS	Ralf Jung	2018-03-20
\|
*	Merge PR #7022: Update CODEOWNERS	Maxime Dénès	2018-03-20
\|\
\| *	Update CODEOWNERS	Enrico	2018-03-20
\|/
*	Merge PR #7014: New merging process	Maxime Dénès	2018-03-20
\|\ \| \| \| \| \| \|	The last merge with the centralized process ;)
\| *	Add CODEOWNERS	Maxime Dénès	2018-03-20
\| \| \| \| \| \| \| \| \| \|	See https://help.github.com/articles/about-codeowners/ for documentation.
\| *	Describe new merging process.	Maxime Dénès	2018-03-19
\|/
*	Merge PR #7007: Emergency fix for OSX packaging job on Travis.	Maxime Dénès	2018-03-16
\|\
* \	Merge PR #7000: win: update bignums to tag V8.8-beta.1	Maxime Dénès	2018-03-16
\|\ \
* \ \	Merge PR #7006: [Sphinx] Add chapter 11	Maxime Dénès	2018-03-16
\|\ \ \
* \ \ \	Merge PR #7005: Fix coqtop timeout	Maxime Dénès	2018-03-16
\|\ \ \ \
\| \| \| \| *	Emergency fix for OSX packaging job on Travis.	Maxime Dénès	2018-03-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Updates to homebrew packages can currently make this packaging job fail at any stage of the release cycle. Also, we are leaving dangerously because we depend on python2 and python3 at the same time, which is not supported by homebrew. To make this more reliable, we should switch to a Nix-based build infrastructure at least for macOS.
\| \| * \| \|	[Sphinx] Add chapter 11	Maxime Dénès	2018-03-16
\| \|/ / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter.
* \| \| \|	Merge PR #7003: 8.8 changes	Maxime Dénès	2018-03-16
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|
\| \| * \|	[Sphinx] Better error message for coqtop errors	Maxime Dénès	2018-03-16
\| \| \| \|
\| \| * \|	[Sphinx] Increase coqtop timeout to avoid spurious failures on CI	Maxime Dénès	2018-03-16
\| \|/ / \|/\| \|
\| * \|	Latest fixes.	Matthieu Sozeau	2018-03-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	I think we can all agree this release has a chilean flavor anyway (as in hot and cold :)
\| * \|	Fix some items in Credits	Maxime Dénès	2018-03-15
\| \| \|
\| * \|	Add some missing entries in CHANGES	Maxime Dénès	2018-03-15
\|/ /
* \|	Merge PR #6992: Credits for 8.8	Maxime Dénès	2018-03-15
\|\ \
\| * \|	Credits for 8.8	Matthieu Sozeau	2018-03-15
\| \| \|
\| \| *	[win] update bignums to tag V8.8+beta1	Enrico Tassi	2018-03-15
\| \|/
* \|	Merge PR #6997: Sphinx doc chapter 3	Maxime Dénès	2018-03-15
\|\ \ \| \|/ \|/\|
\| *	[Sphinx] Add chapter 3	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Pierre Letouzey for porting this chapter.
\| *	[Sphinx] Move chapter 3 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6996: Sphinx doc chapter 16	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 16	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Paul Steckler for porting this chapter.
\| *	[Sphinx] Move chapter 16 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6995: Sphinx doc chapter 14	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 14	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Paul Steckler for porting this chapter.
\| *	[Sphinx] Move chapter 14 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6993: Sphinx doc chapter 13	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 13	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Paul Steckler for porting this chapter.
\| *	[Sphinx] Move chapter 13 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6991: Sphinx doc chapter 12	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 12	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Clément Pit-Claudel for porting this chapter.
\| *	[Sphinx] Move chapter 12 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6990: Sphinx doc chapter 10	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 10	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Calvin Beck for porting this chapter.
\| *	[Sphinx] Move chapter 10 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6987: Sphinx doc chapter 8	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 8	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Heiko Becker and Nikita Zyuzin for porting this chapter.
\| *	[Sphinx] Move chapter 8 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6985: Sphinx doc chapter 5	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 5	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Richard Ford for porting this chapter.
\| *	[Sphinx] Move chapter 5 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6983: Sphinx doc chapter 4	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 4	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Richard Ford for porting this chapter.
\| *	[Sphinx] Move chapter 4 to new infrastructure	Maxime Dénès	2018-03-15
\|/
*	Merge PR #6982: Sphinx doc chapter 2	Maxime Dénès	2018-03-15
\|\
\| *	[Sphinx] Add chapter 2	Maxime Dénès	2018-03-15
\| \| \| \| \| \| \| \|	Thanks to Paul Steckler for porting this chapter.