coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-20	[CI] Deactivate native-compiler in some jobs	Pierre Roux
2018-11-17	[ci] Uniformize casing of makefile targets and ci variables.	Emilio Jesus Gallego Arias
2018-08-31	Download tarball instead of cloning external projects (when $CI is set).	Théo Zimmermann
2018-04-05	Improve shell scripts	zapashcanon
2017-12-13	Put bignums, math-classes and corn dependencies in Makefile	Gaëtan Gilbert
2017-12-07	[ci] CoLoR has moved to github	Emilio Jesus Gallego Arias
2017-07-04	Merge branch 'v8.6'	Pierre-Marie Pédrot
2017-06-16	Remove -j ${NJOBS} from make invocations in the ci	Jason Gross
2017-06-14	[travis] fix CoLoR by inserting some Require Import FunInd	Pierre Letouzey
2017-06-13	[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-03-22	[travis] [8.6.only] Backport latest changes from trunk.	Emilio Jesus Gallego Arias
2017-03-13	[travis] Basic support for overlays.	Emilio Jesus Gallego Arias
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-03-02	[travis] Backport trunk's travis support.	Emilio Jesus Gallego Arias
2017-02-07	[travis] Move ci files from `tools` to `dev`.	Maxime Dénès