coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	Print [Variant] types with the keyword [Variant].	Arnaud Spiwack	2014-09-04
*	Dumpglob: factor out reference dumping.	Carst Tankink	2014-04-10
*	Getting rid of the use of deprecated elements (from the OCaml standard library).	xclerc	2013-10-14
*	invalid_arg instead of raise (Invalid_argement ...)	letouzey	2013-03-12
*	Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053.	herbelin	2012-10-16
*	Removed dead code about linking Module names in coqdoc.	herbelin	2012-10-16
*	Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int...	pboutill	2012-10-15
*	still some more dead code removal	letouzey	2012-10-06
*	Updating headers.	herbelin	2012-08-08
*	More entries in the index	pboutill	2012-08-05
*	Bug 2709: Duplication in coqdoc index entries	pboutill	2012-03-19
*	Fixed broken globalization of identifiers containing utf8 letters	herbelin	2011-10-29
*	Added checksums to glob files and warned about possibly missing	herbelin	2011-10-29
*	Better fix to bug #2183 ("moduleid" internal name got exposed to users	herbelin	2010-12-04
*	Fixing several bugs with links to notation in coqdoc, including bug #2445:	herbelin	2010-12-04
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove compile-command pragmas for emacs	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Small things about coqdoc + fixing lettuple.v test (part of bug #2289)	herbelin	2010-03-30
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29