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
*	Updating headers.	herbelin	2012-08-08
*	Two adaptations after the changes of level of ->	letouzey	2012-07-06
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	Fixing printing level of Utf8 equivalent for ->.	herbelin	2012-03-26
*	Revision 14605 continued (Utf8.v now correctly exporting Utf8_core.v).	herbelin	2011-10-26
*	Merge common notations from Utf8.v and Utf8_core.v (see bug report #2610).	herbelin	2011-10-25
*	Rather quick hack to make basic unicode notations available by	herbelin	2010-07-29
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Made notations for exists, exists! and notations of Utf8.v recursive notations	herbelin	2010-07-22
*	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey	2009-12-09
*	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey	2009-09-28
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Fix notation for ~x in theories/Unicode/Utf8.v	glondu	2009-08-31
*	- Changement du code de Zplus pour accomoder ring qui sinon prend une	herbelin	2008-05-11
*	migration of ide/utf8.v to theories/Unicode/Utf8.v	letouzey	2007-12-13