coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[travis] Basic support for overlays.	Emilio Jesus Gallego Arias	2017-03-13
\| \| \| \| \| \| \|	We now allow the user to overlay contribution repositories and branches by adding their own rules to `ci-basic-overlay.sh`. This just provides very basic support.
*	[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] track an 8.7 specific branch of HoTT.	Maxime Dénès	2017-02-21
\| \| \| \|	This is required since we merged PR#309: Ltac as a plugin.
*	[travis] [External CI] Factor out math-comp installs.	Emilio Jesus Gallego Arias	2017-02-15
\| \| \| \| \|	We make math-comp overlays easier, we also start structuring the scripts a bit more.
*	[travis] Move ci files from `tools` to `dev`.	Maxime Dénès	2017-02-07