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`.
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
2019-09-10	Hack to have the "ready" status bar message not hiding flash notices.	Hugo Herbelin

2019-09-10	Being more informative on the steps of selection of the preference file.	Hugo Herbelin

2019-06-17	Update ml-style headers to new year.	Théo Zimmermann

2019-03-19	CoqIDE: Ensuring that gtk is initialized before other inits done in ideutils.ml.	Hugo Herbelin
	This seems fragile: does it depend on the order files are loaded? (It was working for gtk2 when gtk initialization was in coqide_main.ml but it does not work anymore for CoqIDE built on gtk3). Eventually, it might be needed to centralize all initialization side effects in one place.
2018-11-11	CoqIDE: pass the parent window to all methods liable to open a question box.	Hugo Herbelin
	This is to ensure that the corresponding question boxes remains in front of the main window, consistently with the fact that they are blocking actions on the main window.
2018-11-02	Select OS specific coqide code with cp.	Gaëtan Gilbert

2011-01-07	MacOS integration	pboutill
	if `pkg-config --exists ige-mac-integration`, coqide.opt will be able to open files by double-clik in finder on Darwin. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13779 85f007b7-540e-0410-9357-904b9bb8a0f7
2011-01-07	Coqide is not built with coqmktop any more	pboutill
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13777 85f007b7-540e-0410-9357-904b9bb8a0f7