coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Implementing transitive reduction in the dependency graph printing	Pierre-Marie Pédrot	2014-01-16
*	Declared ML Module are not uncapitalized/capitalized/uncapitalized/...	Pierre Boutillier	2014-01-13
*	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
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Coqdep: add an -exclude-dir option (wish mentionned in #3025)	letouzey	2013-04-18
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Reorder search path order, so the standard library is search last.	herbelin	2011-04-14
*	Applying Tom Prince's patch to coqdep not correctly applying the -R visibility	herbelin	2011-04-08
*	Fix last commit about coqdep: not everyone has a user-contrib dir	letouzey	2011-04-03
*	Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...	gmelquio	2011-04-01
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Fixing various coqdep bugs (#2118, #2242, #2274)	herbelin	2010-04-10
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Coqdep: some dead code and code move (first experiment with Oug)	letouzey	2009-03-27
*	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
*	Coqdep: better handling of Declare ML Module (via .mllib) + many cleanups	letouzey	2009-03-14
*	Coqdep: remove references to obsolete .zi and Require Implementation stuff	letouzey	2009-03-14
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19