coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix CI with parallel make (messed up dependencies)	Gaëtan Gilbert	2017-12-21
*	Merge PR #6400: Circle CI	Maxime Dénès	2017-12-19
\|\
* \	Merge PR #6217: Do dependencies in 1 command per file class.	Maxime Dénès	2017-12-18
\|\ \
* \ \	Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.	Maxime Dénès	2017-12-18
\|\ \ \
\| \| * \|	Overlay for unimath.	Gaëtan Gilbert	2017-12-15
* \| \| \|	Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml`	Maxime Dénès	2017-12-15
\|\ \ \ \
\| \| * \| \|	[econstr] Switch constrintern API to non-imperative style.	Emilio Jesus Gallego Arias	2017-12-15
\| \|/ / /
* \| \| \|	Merge PR #6169: Clean up/deprecated options	Maxime Dénès	2017-12-14
\|\ \ \ \
\| \| \| \| *	Put bignums, math-classes and corn dependencies in Makefile	Gaëtan Gilbert	2017-12-13
\| \| * \| \|	[econstr] Cleanup in `vernac/classes.ml`.	Emilio Jesus Gallego Arias	2017-12-13
\| \| \| \|/ \| \| \|/\|
* \| / \|	Revert "[ci] Temporal workaround for checker non-backwards compatible change."	Théo Zimmermann	2017-12-12
\| \|/ / \|/\| \|
\| * \|	Add overlay.	Théo Zimmermann	2017-12-11
\|/ /
* \|	Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract.	Maxime Dénès	2017-12-11
\|\ \
* \ \	Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir.	Maxime Dénès	2017-12-11
\|\ \ \
* \ \ \	Merge PR #6351: Fix a copy-paste error in ci-ltac2.	Maxime Dénès	2017-12-11
\|\ \ \ \
* \ \ \ \	Merge PR #6346: [ci] CoLoR has moved to github	Maxime Dénès	2017-12-11
\|\ \ \ \ \
* \| \| \| \| \|	[ci] Temporal workaround for checker non-backwards compatible change.	Emilio Jesus Gallego Arias	2017-12-10
\| \| \| * \| \|	[ci] Download ci-sf archives into the proper CI build dir.	Emilio Jesus Gallego Arias	2017-12-09
\| \|_\|/ / / \|/\| \| \| \|
\| \| * \| \|	Fix a copy-paste error in ci-ltac2.	Théo Zimmermann	2017-12-08
* \| \| \| \|	Merge PR #6158: Allows a level in the raw and glob printers	Maxime Dénès	2017-12-08
\|\ \ \ \ \
\| \| * \| \| \|	[ci] CoLoR has moved to github	Emilio Jesus Gallego Arias	2017-12-07
\| \|/ / / / \|/\| \| \| \|
\| \| \| * \|	Overlay for Equations.	Gaëtan Gilbert	2017-12-06
\| \|_\|/ / \|/\| \| \|
* \| \| \|	[ci] Test coqchk on the CompCert target.	Théo Zimmermann	2017-11-30
* \| \| \|	[ci] [vst] Shorten compilation time to avoid Travis timeouts.	Emilio Jesus Gallego Arias	2017-11-28
\| \|_\|/ \|/\| \|
\| * \|	Adding overlay for ltac2.	Hugo Herbelin	2017-11-27
\| \|/
* /	Overlay for stronger restrict_universe_context.	Gaëtan Gilbert	2017-11-25
\|/
*	Merge PR #876: In omega or romega, recognizing Z and nat modulo conversion	Maxime Dénès	2017-11-24
\|\
\| *	Adding ad hoc overlay for sf/vfa.	Hugo Herbelin	2017-11-23
* \|	[plugin] Remove LocalityFixme über hack.	Emilio Jesus Gallego Arias	2017-11-22
\|/
*	Add Equations to CI	Matthieu Sozeau	2017-11-20
*	Merge PR #6126: Fix ci-bignums.sh "missing ]" error.	Maxime Dénès	2017-11-13
\|\
* \	Merge PR #6071: [ci] Add Ltac2	Maxime Dénès	2017-11-13
\|\ \
\| \| *	Fix ci-bignums.sh "missing ]" error.	Gaëtan Gilbert	2017-11-09
\| \|/ \|/\|
\| *	[ci] Add Ltac2	Jason Gross	2017-11-04
* \|	[ci] Switch VST back to upstream.	Théo Zimmermann	2017-10-30
\|/
*	[ci] Switch back to upstream version of Math-Classes and Corn.	Théo Zimmermann	2017-10-27
*	Merge PR #6003: Point HoTT back at master, which now supports Coq master	Maxime Dénès	2017-10-25
\|\
\| *	Point HoTT back at master, which now supports Coq master	Jason Gross	2017-10-23
* \|	Switch testing branch back to CompCert upstream.	Théo Zimmermann	2017-10-20
* \|	rename ci-iris-coq -> ci-iris-lambda-rust	Ralf Jung	2017-10-19
* \|	CI: build lambdaRust (which depends on Iris) rather than just Iris	Ralf Jung	2017-10-19
\|/
*	Merge PR #1067: Iris CI: use opam to install dependencies	Maxime Dénès	2017-10-10
\|\
* \	Merge PR #1117: [ci] Remove temporary bignums overlay.	Maxime Dénès	2017-10-09
\|\ \
\| * \|	[ci] Remove temporary bignums overlay.	Théo Zimmermann	2017-10-04
* \| \|	Fix GeoCoq build by using a shared CI configure.	Théo Zimmermann	2017-10-03
\|/ /
* \|	Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file	Maxime Dénès	2017-10-03
\|\ \
\| \| *	start counting at 0...	Ralf Jung	2017-09-29
\| \| *	Iris CI: use opam to determine std++ git commit	Ralf Jung	2017-09-29
\| \|/ \|/\|
* \|	In gitlab set TRAVIS_BRANCH so user overlays will work as expected.	Gaëtan Gilbert	2017-09-20
* \|	Merge PR #979: Fix install-doc target and other gitlab failures	Maxime Dénès	2017-09-15
\|\ \