coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-07-26	Remove the tactic wizard, as it has not worked for several years and no one ↵	Guillaume Melquiond
	complained (fixes #10580).
2018-07-17	Remove fourier plugin	Maxime Dénès
	As stated in the manual, the fourier tactic is subsumed by lra.
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)