coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Bump version number to 8.9+alpha1	Maxime Dénès	2018-06-11
\|
*	Master now deploys 8.8+alpha.	Maxime Dénès	2017-08-29
\|
*	Change 8.7~alpha to 8.7+alpha.	Maxime Dénès	2017-08-17
\| \| \| \| \|	Only the latter is a valid git tag, and we will soon be using those to generate our version numbers.
*	Make Travis generate OSX packages.	Maxime Dénès	2017-08-17
	The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq