coq - The formal proof system

Age	Commit message (Expand)	Author
2017-05-23	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi
2017-05-23	ide/project_fie.ml4: include standard banner with copyright	Enrico Tassi
2016-05-31	Feedback cleanup	Emilio Jesus Gallego Arias
2016-01-06	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
2015-12-14	Fixing little bug of coq_makefile with unterminated comment.	Hugo Herbelin
2015-08-02	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-03-11	CoqIDE: load first _CoqProject file found and notify the user	Enrico Tassi
2014-06-30	Coq_makefile takes advantages of -I -Q -R cleanup	Pierre Boutillier
2014-06-30	Coq_makefile: -extra[-phony] correction + doc	Pierre Boutillier
2013-01-07	Coq_makefile: -extra & -phony-extra for user defined makefile rule	pboutill
2012-09-12	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill
2012-05-25	Bugs revealed by playing with contribs	pboutill
2012-05-23	Cleaned prerr_endline use.	ppedrot
2012-05-23	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill
2011-12-17	Coq_makefile: if no -install is provided, install location is set by a Makefi...	pboutill
2011-11-20	Teach coq_makefile how to install into XDG_DATA_HOME.	pboutill
2011-10-26	Coq_makefile handles .mlpack files	pboutill
2011-09-02	Coq_makefile: bugfix in install rule	pboutill
2011-09-01	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