coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Remove deprecated command-line options such as "-as".	Guillaume Melquiond	2016-01-06
*	Make code more readable by not mixing list traversal and option processing.	Guillaume Melquiond	2016-01-06
*	Prevent coq_makefile from parsing project files in the reverse order. (Fix bu...	Guillaume Melquiond	2016-01-06
*	Fixing little bug of coq_makefile with unterminated comment.	Hugo Herbelin	2015-12-14
*	Reverting 16 last commits, committed mistakenly using the wrong push command.	Hugo Herbelin	2015-08-02
*	Failing when reaching end of file with unterminated comment when	Hugo Herbelin	2015-08-02
*	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