coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Fixing the essence of naming bug #3204: use same strategy for naming	Hugo Herbelin	2014-08-25
*	A new step in the new "standard" naming policy for propositional hypotheses	Hugo Herbelin	2014-08-05
*	Collecting in Namegen those conventional default names that are used in diffe...	Hugo Herbelin	2014-06-04
*	Use of "H"-based names for propositional hypotheses obtained by	Hugo Herbelin	2014-06-01
*	Splitting Term into five unrelated interfaces:	ppedrot	2013-04-29
*	Modulification of name	ppedrot	2012-12-18
*	Modulification of identifier	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	Fixing alpha-conversion bug #2723 introduced in r12485-12486.	herbelin	2012-03-20
*	Added a table for using reserved names for binding names to types	herbelin	2011-03-05
*	An experimental support for open constrs in hints and in "using"	herbelin	2010-10-31
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Continuing r12485-12486 (cleaning around name generation)	herbelin	2009-12-01
*	Commit 12485 continued.	herbelin	2009-11-09