coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ci] Add Dune to the base system.	Emilio Jesus Gallego Arias	2018-05-21
*	Merge PR #6808: Add unit tests to test-suite	Gaëtan Gilbert	2018-05-17
\|\
* \	Merge PR #7514: [ci] Don't build lite versions of CI developments.	Gaëtan Gilbert	2018-05-16
\|\ \
\| \| *	add unit tests to test suite	Paul Steckler	2018-05-16
\| \|/ \|/\|
\| *	[ci] Don't build lite versions of CI developments.	Emilio Jesus Gallego Arias	2018-05-16
* \|	[travis] Remove some more jobs from PR testing now that they are on Gitlab.	Emilio Jesus Gallego Arias	2018-05-16
\|/
*	Remove tutorials.	Théo Zimmermann	2018-05-10
*	Merge PR #7473: [ci] Add mit-plv/cross-crypto	Emilio Jesus Gallego Arias	2018-05-10
\|\
\| *	[ci] Add mit-plv/cross-crypto	Jason Gross	2018-05-09
* \|	[travis] Add explicit opam switch command to guarantee we're using the reques...	Théo Zimmermann	2018-05-09
* \|	[travis] Fix version of camlp5 for OCaml 4.06.1.	Théo Zimmermann	2018-05-09
\|/
*	[gitlab] [circleci] Use a Custom Docker Image as base CI setup.	Emilio Jesus Gallego Arias	2018-05-05
*	Merge PR #7402: [ci]: add pidetop (fix #7336)	Emilio Jesus Gallego Arias	2018-05-03
\|\
\| *	[ci]: add pidetop (fix #7336)	Enrico Tassi	2018-05-02
* \|	[ci] [travis] Install num by default in all switches.	Emilio Jesus Gallego Arias	2018-04-30
\|/
*	[doc] Remove unused dependencies.	Emilio Jesus Gallego Arias	2018-04-28
*	[CI] elpi 1.0 has an official opam package	Enrico Tassi	2018-04-27
*	updating CI for Mtac2	Beta Ziliani	2018-04-25
*	CI: add fcsl-pcm	Anton Trunov	2018-04-20
*	Travis: cleanup environment variables a bit.	Gaëtan Gilbert	2018-04-16
*	[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
\|\ \ \