coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6015: [general] Remove Econstr dependency from `intf`	Maxime Dénès	2017-10-27
\|\
* \	Merge PR #677: Trunk+abstracting injection flags	Maxime Dénès	2017-10-27
\|\ \
\| * \|	Passing around the flag for injection so that tactics calling inj at	Hugo Herbelin	2017-10-26
\| \| *	[general] Remove Econstr dependency from `intf`	Emilio Jesus Gallego Arias	2017-10-25
\| \|/
* \|	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
\| \|/ \|/\|
* \|	Merge PR #5984: CI: build lambdaRust (which depends on Iris) rather than just...	Maxime Dénès	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
\| \|/
* /	Bugzilla autolink: avoid linking inside links (fix #5974).	Gaëtan Gilbert	2017-10-18
\|/
*	Merge PR #540: [configure] Support for flambda flags.	Maxime Dénès	2017-10-10
\|\
* \	Merge PR #1067: Iris CI: use opam to install dependencies	Maxime Dénès	2017-10-10
\|\ \
\| \| *	[configure] Support for flambda flags.	Emilio Jesus Gallego Arias	2017-10-10
\| \|/ \|/\|
* \|	Merge PR #1115: Autolink to Github PRs from Bugzilla	Maxime Dénès	2017-10-09
\|\ \
* \ \	Merge PR #1117: [ci] Remove temporary bignums overlay.	Maxime Dénès	2017-10-09
\|\ \ \
* \| \| \|	Extract changes to the XML protocol from its doc	Théo Zimmermann	2017-10-06
* \| \| \|	Make the XML protocol doc more version-independent	Théo Zimmermann	2017-10-06
* \| \| \|	Merge PR #1112: Fix GeoCoq CI and remove it from allowed failures	Maxime Dénès	2017-10-05
\|\ \ \ \
\| \| * \| \|	[ci] Remove temporary bignums overlay.	Théo Zimmermann	2017-10-04
\| \|/ / / \|/\| \| \|
\| \| * \|	autolink to Github PRs from Bugzilla	Paul Steckler	2017-10-03
\| \|/ / \|/\| \|
* \| \|	Merge PR #1104: Browser userscript to turn BZ#XXXX occurences into links.	Maxime Dénès	2017-10-03
\|\ \ \
\| \| * \|	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
\| \|_\|/ \|/\| \|
\| \| *	Browser userscript to turn BZ#XXXX occurences into links.	Gaëtan Gilbert	2017-09-27
\| \|/ \|/\|
* \|	Merge PR #1055: Remove STM vernaculars	Maxime Dénès	2017-09-22
\|\ \
* \ \	Merge PR #1065: In gitlab set TRAVIS_BRANCH so user overlays will work as exp...	Maxime Dénès	2017-09-22
\|\ \ \
* \| \| \|	Do not reinstall preinstalled packages under AppVeyor.	Maxime Dénès	2017-09-21
* \| \| \|	Print Cygwin setup output rather than logging in to a file.	Maxime Dénès	2017-09-21
\| * \| \|	In gitlab set TRAVIS_BRANCH so user overlays will work as expected.	Gaëtan Gilbert	2017-09-20
\|/ / /
\| * \|	Improve documentation of Status message.	Maxime Dénès	2017-09-19
* \| \|	Merge PR #1043: Disable OSX signing for temporary artifacts.	Maxime Dénès	2017-09-19
\|\ \ \ \| \|/ / \|/\| \|
* \| \|	Merge PR #979: Fix install-doc target and other gitlab failures	Maxime Dénès	2017-09-15
\|\ \ \
* \ \ \	Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the ...	Maxime Dénès	2017-09-15
\|\ \ \ \
* \ \ \ \	Merge PR #962: Move dev/doc/changes to Markdown.	Maxime Dénès	2017-09-15
\|\ \ \ \ \
\| \| \| * \| \|	Fix GitLab CI	Gaëtan Gilbert	2017-09-13
\| \| \| \| * \|	Disable OSX signing for temporary artifacts.	Maxime Dénès	2017-09-11
* \| \| \| \| \|	Move README.ci and link to it from CONTRIBUTING.	Théo Zimmermann	2017-09-08
\| \|_\|_\|/ / \|/\| \| \| \|
* \| \| \| \|	Merge PR #968: Better error messages on the CI	Maxime Dénès	2017-09-07
\|\ \ \ \ \
\| \| \| \| \| *	dev/build/windows/makecoq_mingw.sh: install camlp5's META file	Enrico Tassi	2017-09-07
* \| \| \| \| \|	Merge PR #914: Making the detyper lazy	Maxime Dénès	2017-09-07
\|\ \ \ \ \ \
\| \| \| \| \| \| *	Trying to properly propagate errors in Windows CI script.	Maxime Dénès	2017-09-07
\| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
* \| \| \| \| \|	Make AppVeyor generate Windows package.	Maxime Dénès	2017-09-05
* \| \| \| \| \|	Remove -debug option from Windows build script.	Maxime Dénès	2017-09-05
* \| \| \| \| \|	Get sources of cygwin packages after building the installer.	Maxime Dénès	2017-09-05
* \| \| \| \| \|	Adapt Windows build script to new CoqIDE data installation directory.	Maxime Dénès	2017-09-05
* \| \| \| \| \|	Print more of the Coq build output.	Maxime Dénès	2017-09-05
* \| \| \| \| \|	Print Coq build output.	Maxime Dénès	2017-09-05