coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-11-26	[ci] coquelicot, depend on ssr proper	Enrico Tassi

2020-11-26	[ci] avoid always rebuilding jobs that use remake	Enrico Tassi

2020-11-26	[ci] coquelicot, run make install	Enrico Tassi

2020-02-24	[ci] Fix Coquelicot build	Emilio Jesus Gallego Arias
	New versions did remove the autogen.sh script in favor of plain `autoreconf` Note that the Coquelicot build documentation seems incorrect.
2019-05-09	Switched Coquelicot CI URLs from INRIA gforge to INRIA gitlab	Michael Soegtrop

2019-04-01	[CI] Coquelicot: use “master” development version	Vincent Laporte

2018-08-31	Download tarball instead of cloning external projects (when $CI is set).	Théo Zimmermann
	This allows to use fixed commits and not just branches or tags. We keep using git clone when $FORCE_GIT is set (for projects on gforge.inria.fr and projects pulling dependencies through git submodules). fiat-parsers also calls git submodule, but inside its own Makefile.
2018-04-05	Improve shell scripts	zapashcanon

2017-03-13	[travis] Basic support for overlays.	Emilio Jesus Gallego Arias
	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.
2017-03-10	[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-02-15	[travis] [External CI] Factor out math-comp installs.	Emilio Jesus Gallego Arias
	We make math-comp overlays easier, we also start structuring the scripts a bit more.
2017-02-07	[travis] Move ci files from `tools` to `dev`.	Maxime Dénès