coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR#756: Fix Bug #5574, document function scope	Maxime Dénès	2017-06-26
\|\
\| *	Fix Bug #5574, document function scope	Paul Steckler	2017-06-23
* \|	Merge PR#740: Refactor documentation of records.	Maxime Dénès	2017-06-23
\|\ \
\| * \|	Refactor documentation of records.	Théo Zimmermann	2017-06-16
\| \|/
* \|	Merge PR#767: Document named evars (including Show ident)	Maxime Dénès	2017-06-16
\|\ \
\| * \|	Document instantiate (ident := term) and make it the preferred variant.	Théo Zimmermann	2017-06-13
\| * \|	Document Show ident.	Théo Zimmermann	2017-06-13
\| * \|	Document evar naming syntax.	Théo Zimmermann	2017-06-13
\| \|/
* /	Fix documentation of Typeclasses eauto :=	Théo Zimmermann	2017-06-07
\|/
*	Fix outdated description in RefMan.	Théo Zimmermann	2017-05-03
*	fix order of command-line arguments mentioned in Add LoadPath	Paul Steckler	2017-04-27
*	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
*	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
\|\
* \|	Update copyright on documentation cover.	Maxime Dénès	2016-11-30
* \|	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
\| *	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.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