coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
	The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
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).
2019-06-17	Update copyright years outside of headers.	Théo Zimmermann
	These were found with the following command: $ git grep "1999-" \| grep -v "2019"
2018-07-17	Remove fourier plugin	Maxime Dénès
	As stated in the manual, the fourier tactic is subsumed by lra.
2018-04-05	Remove unused script.	Théo Zimmermann
	This is dead code since fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd. This script was initially introduced in a088d03434417e935df3c75f81a954eadbdfc2b8 and left untouched since then.
2016-01-20	Update copyright headers.	Maxime Dénès

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.
2015-02-13	Fixup version & copyright for MacOS bundle	Pierre Boutillier

2014-07-24	Make MacStore like coqide more	Pierre Boutillier
	including bigger icons
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)