coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Improve shell scripts	zapashcanon	2018-04-05
*	Put bignums, math-classes and corn dependencies in Makefile	Gaëtan Gilbert	2017-12-13
*	[ci] CoLoR has moved to github	Emilio Jesus Gallego Arias	2017-12-07
*	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
* \|	[travis] fix CoLoR by inserting some Require Import FunInd	Pierre Letouzey	2017-06-14
* \|	[travis] extra test ci-bignums (+factorize other scripts)	Pierre Letouzey	2017-06-13
* \|	[travis] adapt CoLoR compilation to depend on the bignum package	Pierre Letouzey	2017-06-13
\| *	[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] Backport trunk's travis support.	Emilio Jesus Gallego Arias	2017-03-02
*	[travis] Move ci files from `tools` to `dev`.	Maxime Dénès	2017-02-07