coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ci] Tentative fix for #7206: MacOS test-suite job failing.	Théo Zimmermann	2018-04-09
*	Emergency fix for OSX packaging job on Travis.	Maxime Dénès	2018-03-16
*	Integration of a sphinx-based documentation generator.	Maxime Dénès	2018-03-09
*	Merge PR #6817: [configure]: support for profiles	Maxime Dénès	2018-03-08
\|\
* \|	Fix failing packaging job.	Théo Zimmermann	2018-03-05
\| *	configure: -warn-error: now takes a bool so that you can also turn it off	Enrico Tassi	2018-03-05
\|/
*	travis: elpi needs findlib >= 1.5	Enrico Tassi	2018-02-28
*	tavis: make the . in pkg.version part of $VERSION	Enrico Tassi	2018-02-28
*	ci: add elpi	Enrico Tassi	2018-02-19
*	Merge PR #6636: Stop running duplicate Travis jobs on pull requests.	Maxime Dénès	2018-01-30
\|\
* \|	Add a comment referencing travis issue numbers	Jason Gross	2018-01-25
* \|	Delay installing packages	Jason Gross	2018-01-23
* \|	Use travis_retry on apt-get update	Jason Gross	2018-01-23
\| *	Stop running duplicate Travis jobs on pull requests.	Théo Zimmermann	2018-01-23
\|/
*	Update the lower-bound of the lablgtk dependency.	Théo Zimmermann	2018-01-04
*	Fix CI with parallel make (messed up dependencies)	Gaëtan Gilbert	2017-12-21
*	Compatibility of the Coq macOS package with OS X 10.11.	Théo Zimmermann	2017-12-15
*	CI: use -byte-only in [warnings] jobs.	Gaëtan Gilbert	2017-11-28
*	Travis: do not build stdlib in [warnings] jobs.	Gaëtan Gilbert	2017-11-28
*	Add Equations to CI	Matthieu Sozeau	2017-11-20
*	[ci] [coq] Complete 4.06.0 support.	Emilio Jesus Gallego Arias	2017-11-13
*	Merge PR #6071: [ci] Add Ltac2	Maxime Dénès	2017-11-13
\|\
* \	Merge PR #1139: Add a linter.	Maxime Dénès	2017-11-06
\|\ \
\| \| *	[ci] Add Ltac2	Jason Gross	2017-11-04
\| \|/ \|/\|
* \|	[ocaml] [travis] Add preliminary 4.06 CI testing.	Emilio Jesus Gallego Arias	2017-10-27
\| *	Put linter at the top of the tests.	Théo Zimmermann	2017-10-25
\| *	Linter: check that files end with newlines.	Gaëtan Gilbert	2017-10-25
\| *	Add linter.	Gaëtan Gilbert	2017-10-25
* \|	Merge PR #5995: Revert "Add debug output to brew update."	Maxime Dénès	2017-10-25
\|\ \
* \ \	Merge PR #5971: [travis] Add flambda testing.	Maxime Dénès	2017-10-25
\|\ \ \
\| \| * \|	Revert "Add debug output to brew update."	Théo Zimmermann	2017-10-20
\| \|/ / \|/\| \|
* \| \|	rename ci-iris-coq -> ci-iris-lambda-rust	Ralf Jung	2017-10-19
\| * \|	[travis] Add flambda testing.	Emilio Jesus Gallego Arias	2017-10-18
\|/ /
* \|	Merge PR #1140: Fix Travis OSX deploy conditional.	Maxime Dénès	2017-10-10
\|\ \
\| * \|	Fix Travis OSX deploy conditional.	Gaëtan Gilbert	2017-10-09
\| \|/
* /	Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."	Théo Zimmermann	2017-10-07
\|/
*	Merge PR #1123: [ci] Remove deploy to GitHub of OS X package.	Maxime Dénès	2017-10-06
\|\
* \	Merge PR #1093: [doc] Update INSTALL to match reality.	Maxime Dénès	2017-10-05
\|\ \
\| \| *	[ci] Remove deploy to GitHub of OS X package.	Théo Zimmermann	2017-10-05
* \| \|	Remove GeoCoq from allowed failures.	Théo Zimmermann	2017-10-03
\| \|/ \|/\|
\| *	[doc] Update INSTALL to match reality.	Emilio Jesus Gallego Arias	2017-09-25
* \|	Do not run Travis OS X packaging job on PRs	Théo Zimmermann	2017-09-21
\|/
*	Add debug output to brew update.	Maxime Dénès	2017-09-15
*	Switch Travis to OSX 10.12 and Xcode 8.3.3.	Maxime Dénès	2017-09-15
*	Merge PR #971: Don't allow coq-dpdgraph to fail	Maxime Dénès	2017-08-31
\|\
* \|	Fix deployment to multiple providers.	Maxime Dénès	2017-08-29
* \|	Trying to fix deployment of master on bintray, and deploy tags to github.	Maxime Dénès	2017-08-29
* \|	Separate jobs for test-suite and package building under OSX.	Maxime Dénès	2017-08-18
* \|	Make Travis generate OSX packages.	Maxime Dénès	2017-08-17
\| *	Don't allow coq-dpdgraph to fail	Jason Gross	2017-08-15
\|/