coq - The formal proof system

Age	Commit message (Expand)	Author
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
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
2018-11-11	CoqIDE: pass the parent window to all methods liable to open a question box.	Hugo Herbelin
2018-11-02	Select OS specific coqide code with cp.	Gaëtan Gilbert
2011-01-07	MacOS integration	pboutill
2011-01-07	Coqide is not built with coqmktop any more	pboutill