coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
\| *	Remove -j ${NJOBS} from make invocations in the ci	Jason Gross	2017-06-16
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-06-08
\|\\|
* \|	[travis] [fiat] Test also fiat-core.	Emilio Jesus Gallego Arias	2017-06-02
\| *	Add parsers-examples target to fiat-parsers ci	Jason Gross	2017-05-23
\| *	[travis] [8.6.only] Backport latest changes from trunk.	Emilio Jesus Gallego Arias	2017-03-22
*	[travis] Basic support for overlays.	Emilio Jesus Gallego Arias	2017-03-13
*	[travis] Adding a template file and using it for all targets.	Théo Zimmermann	2017-03-10
*	[travis] Change headband for wider compatibility.	Théo Zimmermann	2017-03-10
*	[travis] [External CI] fiat-parsers	Emilio Jesus Gallego Arias	2017-02-24