coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-09-10	Moving configuration of coqide.keys to the coqide executable.	Hugo Herbelin

2019-09-10	Using GTK+ PRIMARY to factorize CoqIDE keys between MacOS and others.	Hugo Herbelin
	This concerns zooming, undoing, displaying preferences.
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)