coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\| *	Document info_auto.	Théo Zimmermann	2016-10-18
\| *	Improve the documentation of eauto.	Théo Zimmermann	2016-10-18
* \|	fixing bug 4609: document an option governing the generation of equalities	Yves Bertot	2016-10-03
* \|	Merge remote-tracking branch 'github/pr/280' into v8.6	Maxime Dénès	2016-09-30
\|\ \
* \ \	Merge branch 'v8.5' into v8.6	Maxime Dénès	2016-09-30
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	Merge remote-tracking branch 'github/pr/232' into v8.6	Maxime Dénès	2016-09-28
\|\ \ \
\| \| * \|	Fixing #4887 (confusion between using and with in documentation of firstorder).	Hugo Herbelin	2016-09-27
* \| \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-09-23
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	Replace { command ; } with ( command )	Erik Martin-Dorel	2016-09-19
\| * \| \|	Fix typos in RefMan-uti.tex.	Erik Martin-Dorel	2016-09-19
\| \| \| *	Doc: [Reset Ltac Profile] is not synchronized	Jason Gross	2016-09-16
\| \|_\|/ \|/\| \|
* \| \|	Extending "contradiction" so that it recognizes statements such as "~x=x" or ...	Hugo Herbelin	2016-09-15
* \| \|	Refolding: disable in 8.4 compat file, document	Matthieu Sozeau	2016-09-12
* \| \|	Fix a typo in the reference manual	Jason Gross	2016-09-07
* \| \|	plugin micromega : nra also handles non-linear rational arithmetic over Q (Fi...	Frédéric Besson	2016-08-30
* \| \|	update Proof General URL	Paul Steckler	2016-08-23
* \| \|	Documenting "Set Structural Injection".	Hugo Herbelin	2016-08-21
* \| \|	In docs, fix command to reset Ltac profiling	Paul Steckler	2016-08-17
* \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
\|\\| \|
\| * \|	Fix documentation typo (bug #4994).	Guillaume Melquiond	2016-08-04
* \| \|	More examples of recursive notations, with emphasis in reference manual.	Hugo Herbelin	2016-07-17