coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Remove unused script.	Théo Zimmermann	2018-04-05
\| \| \| \| \| \|	This is dead code since fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd. This script was initially introduced in a088d03434417e935df3c75f81a954eadbdfc2b8 and left untouched since then.
*	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)