coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR#422: Supporting all kinds of binders, including 'pat, in syntax of r...	Maxime Dénès	2017-04-12
\|\
* \	Merge PR#460: Turning the printing primitive projection compatibility flag of...	Maxime Dénès	2017-04-09
\|\ \
* \ \	Merge PR#485: Document Show Match	Maxime Dénès	2017-04-07
\|\ \ \
\| \| * \|	Turning the printing primitive projection parameter flag off by default.	Hugo Herbelin	2017-04-07
\| \| * \|	Turning the printing primitive projection compatibility flag off by default.	Hugo Herbelin	2017-04-07
\| \|/ / \|/\| \|
* \| \|	Merge PR#455: Farewell decl_mode	Maxime Dénès	2017-04-06
\|\ \ \
\| \| \| *	Documenting the grammar {\| ... \|} syntax for building records.	Hugo Herbelin	2017-03-23
\| \|_\|/ \|/\| \|
* \| \|	Merge PR#433: doc: fix a French-ism	Maxime Dénès	2017-03-23
\|\ \ \
* \| \| \|	Fix some typos.	Guillaume Melquiond	2017-03-22
* \| \| \|	Merge PR#482: [toplevel] Remove unusable option -notop	Maxime Dénès	2017-03-22
\|\ \ \ \
\| \| \| \| *	Document Show Match, add ref to that in match variants/extensions	Paul Steckler	2017-03-17
\| \|_\|_\|/ \|/\| \| \|
\| \| * \|	doc: fix a French-ism	Valentin Robert	2017-03-14
\| * \| \|	[toplevel] Remove unusable option -notop	Emilio Jesus Gallego Arias	2017-03-14
* \| \| \|	Merge PR#438: Fix V7 syntax in refman.	Maxime Dénès	2017-03-14
\|\ \ \ \ \| \|/ / / \|/\| \| \|
* \| \| \|	Typo doc notations.	Hugo Herbelin	2017-03-09
* \| \| \|	Clarifying doc about interpretation of scopes in notations (#5386).	Hugo Herbelin	2017-03-09
\| \| \| *	Farewell decl_mode	Enrico Tassi	2017-03-07
\| \| \|/
* \| \|	Adding explicitly a file to work in the context of propositional extensionality.	Hugo Herbelin	2017-03-03
* \| \|	Adding a file providing extensional choice (i.e. choice over setoids).	Hugo Herbelin	2017-03-03
* \| \|	Logic library: Adding a characterization of excluded-middle in term of	Hugo Herbelin	2017-03-03
\| \|/ \|/\|
\| *	Fix V7 syntax in refman.	Théo Zimmermann	2017-02-20
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\|\
\| *	Fix some typos in tutorial (bug #5294).	Guillaume Melquiond	2016-12-28
\| *	Fix incorrect documentation that prevents successful compilation (bug #5265).	Guillaume Melquiond	2016-12-16
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\|\\|
\| *	Fix broken documentation in presence of \zeroone{... \tt ...}.	Guillaume Melquiond	2016-12-06
\| *	Update documentation (bugs #5246 and #5251).	Guillaume Melquiond	2016-12-06
\| *	Change module for Coq loop	Paul Steckler	2016-12-05
\| *	the -byte option is deprecated	Paul Steckler	2016-12-05
\| *	Merge remote-tracking branch 'github/pr/364' into v8.6	Maxime Dénès	2016-12-02
\| \|\
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\|\\| \|
\| * \|	Update copyright on documentation cover.	Maxime Dénès	2016-11-30
\| * \|	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\| \|
\| \| *	Add missing label. Fixes broken ref.	Théo Zimmermann	2016-11-17
\| \|/
\| *	Revert more of a477dc for good measure	Matthieu Sozeau	2016-11-16
\| *	Revert part of a477dc, disallow_shelved	Matthieu Sozeau	2016-11-15
\| *	Do not mention "none" in warnings doc, as it is there for compatibility.	Maxime Dénès	2016-11-14
\| *	Update CHANGES and credits for 8.6beta1.	Maxime Dénès	2016-11-10
\| *	Merge remote-tracking branch 'github/pr/348' into v8.6	Maxime Dénès	2016-11-08
\| \|\
\| * \|	Update documentation of Arguments after recent changes.	Maxime Dénès	2016-11-08
\| \| *	Rewording from Enrico	Matthieu Sozeau	2016-11-08
\| \| *	After Emilio's comment.	Matthieu Sozeau	2016-11-07
\| * \|	Merge remote-tracking branch 'github/pr/339' into v8.6	Maxime Dénès	2016-11-07
\| \|\ \
\| \| * \|	Document two new variants of refine	Matthieu Sozeau	2016-11-07
\| \| \| *	More accurate contributor list.	Matthieu Sozeau	2016-11-07
\| \| \| *	Hugo and Maxime's 2nd pass of comments	Matthieu Sozeau	2016-11-07
\| \| \| *	Hugo's comments	Matthieu Sozeau	2016-11-06
\| \| \| *	Maxime's comments	Matthieu Sozeau	2016-11-06
\| \| \| *	Fixes from Enrico's review	Matthieu Sozeau	2016-11-06