coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	COMMENTS: added to some variants of "Globalnames.global_reference" type.	Matej Kosik	2015-12-18
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Removing dead code, thanks to new OCaml warnings and a bit of scripting.	Pierre-Marie Pédrot	2014-04-23
*	Missing equalities in Names-like structures.	Pierre-Marie Pédrot	2014-03-20
*	Using HMaps in global references.	Pierre-Marie Pédrot	2014-03-08
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Added a more efficient way to recover the domain of a map.	ppedrot	2013-08-25
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Classops : avoid some use of Gmap	letouzey	2013-02-19
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14
*	Finish patch for Hint Resolve, stopping to generate new constant names for	msozeau	2012-12-08
*	Updating headers.	herbelin	2012-08-08
*	remove many excessive open Util & Errors in mli's	letouzey	2012-05-29
*	global_reference migrated from Libnames to new Globnames, less deps in gramma...	letouzey	2012-05-29