coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix #4837: ./configure -local makes coqdep issue many warnings	Maxime Dénès	2016-11-04
*	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
*	ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpack	Pierre Letouzey	2016-06-15
*	Makefile: restore the use of coqdep_boot for creating .v.d files	Pierre Letouzey	2016-06-01
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-29
\|\
\| *	Fixing bug #4373: coqdep does not know about .vio files.	Pierre-Marie Pédrot	2016-01-24
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Remove unused functions.	Guillaume Melquiond	2016-01-01
* \|	Remove some occurrences of Unix.opendir.	Guillaume Melquiond	2015-12-14
* \|	Merge remote-tracking branch 'origin/v8.5' into upstream-trunk	Hugo Herbelin	2015-11-07
\|\\|
\| *	Fixed #4407.	Pierre Courtieu	2015-11-06
\| *	Fixing #4406 coqdep: No recursive search of ml (-I).	Pierre Courtieu	2015-11-06
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	report the full module path when reporting errors in coqdep	Gregory Malecha	2015-08-13
* \|	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
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-07-02
\|\\|
\| *	Removing dead code in coqdep.	Pierre-Marie Pédrot	2015-06-30
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-05-05
\|\\|
\| *	Remove spurious ".v" from warning message.	Guillaume Melquiond	2015-04-20
* \|	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
*	Fixing typo in previous commit.	Hugo Herbelin	2015-01-12
*	Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.	Hugo Herbelin	2015-01-11
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	coqdep: granting #2506 (./dir is the same as dir)	Hugo Herbelin	2014-12-04
*	coqdep: Warning about ml file clashes, keeping the file corresponding	Hugo Herbelin	2014-12-04
*	Support for Timeout n and From ..	Gregory Malecha	2014-08-25
*	Coqdep: update include strategies	Pierre Boutillier	2014-06-30
*	Declared ML Module are not uncapitalized/capitalized/uncapitalized/...	Pierre Boutillier	2014-01-13
*	.vi files: .vo files without proofs	Enrico Tassi	2014-01-04
*	Warning removal	Pierre Boutillier	2013-12-20
*	Coqdep always uses / as dir_sep	Pierre Boutillier	2013-12-20
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	Coqdep: add an -exclude-dir option (wish mentionned in #3025)	letouzey	2013-04-18
*	Restrict (try...with...) to avoid catching critical exn (part 15)	letouzey	2013-03-13
*	use List.rev_map whenever possible	letouzey	2013-02-18
*	coqdep: honor dependencies of "Load"ed files	gareuselesinge	2012-10-29
*	Updating headers.	herbelin	2012-08-08
*	Coqdep adds %.v.beautified on the left of the ':' when it generates %.v depen...	pboutill	2011-12-17
*	Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).	herbelin	2011-10-29
*	Coqdep handles .mlpack	pboutill	2011-10-26
*	coqdep defines a makefile variable name_MLLIB_DEPENDENCIES to store dependenc...	pboutill	2011-10-25