coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Fixed #4407.	Pierre Courtieu	2015-11-06
*	Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.	Guillaume Melquiond	2015-07-30
*	Using maps and sets instead of lists in coqdep.	Pierre-Marie Pédrot	2015-07-24
*	Update headers.	Maxime Dénès	2015-01-12
*	Coqdep: update include strategies	Pierre Boutillier	2014-06-30
*	Fixing coqdep_boot warning relative to unknown ML files that were in tactics.	Pierre-Marie Pédrot	2014-05-17
*	Coqdep always uses / as dir_sep	Pierre Boutillier	2013-12-20
*	Coqdep: add an -exclude-dir option (wish mentionned in #3025)	letouzey	2013-04-18
*	Updating headers.	herbelin	2012-08-08
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey	2010-03-04
*	Coqdep_boot: one line with bad indentation	letouzey	2009-03-26
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...	barras	2009-03-16
*	coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...	letouzey	2009-03-16