coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[coqdep] Remove unnecessary dependency on Pp and CError.	Emilio Jesus Gallego Arias	2018-05-08
*	[coqdep] Minor cleanups.	Emilio Jesus Gallego Arias	2018-05-08
*	Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...	Maxime Dénès	2018-03-09
\|\
\| *	Closes #6830: coqdep reads options and files from _CoqProject.	Gaëtan Gilbert	2018-03-06
\| *	Add source (project file / command line) to project fields.	Gaëtan Gilbert	2018-03-01
\| *	Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSX	Gaëtan Gilbert	2018-02-28
* \|	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	[error] Replace msg_error by a proper exception.	Emilio Jesus Gallego Arias	2018-02-09
*	Added newline at the end of usage of coqdep.	Bernhard Schommer	2018-01-11
*	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
*	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
*	coqdep: remove optimization making makefiles harder to write	Enrico Tassi	2017-05-23
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
*	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès	2016-07-05
*	Merge remote-tracking branch 'github/pr/229' into trunk	Maxime Dénès	2016-07-04
\|\
* \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
\| *	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2016-06-29
\|/
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
\| *	Minor edits in output of coqdep --help.	Maxime Dénès	2016-01-15
\| *	Fix #4408.	Pierre Courtieu	2016-01-15
\| *	Partially fixing #4408: coqdep --help is up to date.	Pierre Courtieu	2016-01-15
* \|	Remove deprecated command-line options such as "-as".	Guillaume Melquiond	2016-01-06
* \|	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
* \|	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
* \|	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-16
* \|	Restricting the need for coqdep_boot to mllib.d files (since ocaml	Hugo Herbelin	2015-02-16
\| *	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
\| *	Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)	Hugo Herbelin	2015-02-12
\| *	Capital letter in plugins.	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
*	Applying Virgile Prevosto's patch for better error report in coqdep (#3029).	Hugo Herbelin	2014-10-08
*	Coqdep: update include strategies	Pierre Boutillier	2014-06-30
*	make coqdep canonicalize paths from the command line	Gregory Malecha	2014-05-26
*	Fixing the undocumented -dumpgraphbox option of coqdep.	Pierre-Marie Pédrot	2014-05-12
*	Newline on -slash warning in coqdep.	Pierre-Marie Pédrot	2014-03-28
*	Using full paths in coqdep -dumpgraph.	Pierre-Marie Pédrot	2014-01-19
*	Fixing coqdep graph printing. The transitive reduction algorithm was bugged.	Pierre-Marie Pédrot	2014-01-19