coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2017-05-30
*	Dead code in coqdep.	Hugo Herbelin	2017-05-15
*	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès	2016-07-05
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2016-06-29
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge remote-tracking branch 'origin/v8.5' into upstream-trunk	Hugo Herbelin	2015-11-07
\|\\|
\| *	Fixed #4407.	Pierre Courtieu	2015-11-06
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-27
\|\\|
\| *	Using maps and sets instead of lists in coqdep.	Pierre-Marie Pédrot	2015-07-24
\| *	Fixing bug #4265: "coqdep does not handle From ... Require" for good.	Pierre-Marie Pédrot	2015-07-24
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-07-06
\|\\|
\| *	Fixing bug #4265: coqdep does not handle From ... Require.	Pierre-Marie Pédrot	2015-07-03
* \|	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-16
\| *	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
\| *	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	coqdep: Warning about ml file clashes, keeping the file corresponding	Hugo Herbelin	2014-12-04
*	Coqdep: update include strategies	Pierre Boutillier	2014-06-30
*	Adding a -dumpgraph option to Coqdep that output the graph dependency of the	Pierre-Marie Pédrot	2014-01-06
*	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
*	avoid dependency nightmare by creating coqdep_{lexer,common}.mli	letouzey	2011-09-18