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	Moving a standard string function (is_prefix) from Minilib to CString.	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
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-17	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle
2017-07-27	deprecate Pp.std_ppcmds type alias	Matej Košík
2017-03-21	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias
2014-07-22	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier
2012-09-12	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill
2012-05-23	Cleaned prerr_endline use.	ppedrot
2012-05-23	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill
2012-05-16	Revert commit 15287 : the env variables are indeed access at launch-time	letouzey
2012-05-08	Fixed access to environment variables in CoqIDE. Up to now, those	ppedrot
2011-12-18	CoqIde files position is freedesktop compliant.	pboutill
2011-11-21	coqide default pref files are by default in /etc/xdg/coq/	pboutill
2011-11-20	CoqIdE configuration file won't pollute your home anymore	pboutill
2011-09-01	Coq_makefile : bug when a project file is not in the current directory.	pboutill
2011-09-01	safe_prerr_endline in Minilib	pboutill
2011-09-01	same_file in Minilib	pboutill
2011-09-01	Creation of ide/project_file.ml4	pboutill
2011-06-10	Menubar and toolbar in coqide using GtkUI & Gactions.	pboutill
2011-03-28	Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args	letouzey
2011-03-25	Ide: more reorganisation and cleanup	letouzey