coq - The formal proof system

Age	Commit message (Collapse)	Author
2015-02-17	Remove Whelp commands.	Maxime Dénès
	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.
2014-07-22	A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle	Pierre Boutillier
	The created bundle contains only coqide and gtk (no coqtop, no stdlib)