coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[CI] Fix the script used by math-classes.	Pierre-Marie Pédrot	2018-05-18
*	Improve shell scripts	zapashcanon	2018-04-05
*	Put bignums, math-classes and corn dependencies in Makefile	Gaëtan Gilbert	2017-12-13
*	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] extra test ci-bignums (+factorize other scripts)	Pierre Letouzey	2017-06-13
* \|	[travis] overlay + extra deps for math-classes (and formal-topology)	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] [External CI] Factor out math-comp installs.	Emilio Jesus Gallego Arias	2017-02-15
*	[travis] Move ci files from `tools` to `dev`.	Maxime Dénès	2017-02-07