coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	Remove Whelp commands.	Maxime Dénès	2015-02-17
\| \| \| \| \| \|	Although these commands were never deprecated, they have been unusable for some time now, since they send requests to an Italian server which is no longer alive.
*	Fixup version & copyright for MacOS bundle	Pierre Boutillier	2015-02-13
\|
*	Make MacStore like coqide more	Pierre Boutillier	2014-07-24
\| \| \| \|	including bigger icons
*	A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle	Pierre Boutillier	2014-07-22
	The created bundle contains only coqide and gtk (no coqtop, no stdlib)