coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CoqIDE: load first _CoqProject file found and notify the user	Enrico Tassi	2015-03-11
*	Coq_makefile takes advantages of -I -Q -R cleanup	Pierre Boutillier	2014-06-30
*	Coq_makefile: -extra[-phony] correction + doc	Pierre Boutillier	2014-06-30
*	Coq_makefile: -extra & -phony-extra for user defined makefile rule	pboutill	2013-01-07
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	Bugs revealed by playing with contribs	pboutill	2012-05-25
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Coq_makefile: if no -install is provided, install location is set by a Makefi...	pboutill	2011-12-17
*	Teach coq_makefile how to install into XDG_DATA_HOME.	pboutill	2011-11-20
*	Coq_makefile handles .mlpack files	pboutill	2011-10-26
*	Coq_makefile: bugfix in install rule	pboutill	2011-09-02
*	Automatic search of project file	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
*	Add option -f to coqide	pboutill	2011-09-01
*	Creation of ide/project_file.ml4	pboutill	2011-09-01