coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Typo doc notations.	Hugo Herbelin	2017-03-09
*	Clarifying doc about interpretation of scopes in notations (#5386).	Hugo Herbelin	2017-03-09
*	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
*	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
\| \| \| *	Credits for 8.6	Matthieu Sozeau	2016-11-05
\| \| \| *	Minor fix in documentation	Matthieu Sozeau	2016-11-05
\| \| \|/ \| \|/\|
\| * \|	Merge remote-tracking branch 'github/pr/336' into v8.6	Maxime Dénès	2016-11-04
\| \|\ \
\| * \| \|	Add documentation for [Set Warnings] and the -w option.	Cyprien Mangin	2016-11-04
\| \| \| *	Do not shelve non-class subgoals but fail, it should	Matthieu Sozeau	2016-11-03
\| \| \| *	typeclasses eauto Implem/doc of shelving strategy	Matthieu Sozeau	2016-11-03
\| \| \| *	Lets Hints/Instances take an optional pattern	Matthieu Sozeau	2016-11-03
\| \| \| *	Document options of typeclasses (eauto)	Matthieu Sozeau	2016-11-03
\| \| \| *	Documenting changes in typeclasses	Matthieu Sozeau	2016-10-29
\| \| \|/ \| \|/\|
\| \| *	Remove v62 from the refman.	Théo Zimmermann	2016-10-25
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\\| \|
\| * \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-24
\| \|\ \ \| \| \|/ \| \|/\|
\| \| *	Documenting Hint Resolve -> and <- variants.	Théo Zimmermann	2016-10-19
\| \| *	Making the doc of auto hints more precise.	Théo Zimmermann	2016-10-19
\| \| *	Extending the doc with a general summary of auto variants.	Théo Zimmermann	2016-10-18
\| \| *	Document info_auto.	Théo Zimmermann	2016-10-18