coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove tutorials.	Théo Zimmermann	2018-05-10
*	[ltac] Deprecate nameless fix/cofix.	Emilio Jesus Gallego Arias	2018-04-13
*	Unbreak RecTutorial.v	Gaëtan Gilbert	2017-08-01
*	More consistent writing of de Bruijn.	Théo Zimmermann	2017-05-01
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	mainbiblio.bib : get rid of merge marker from failed merge	letouzey	2011-10-09
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Solves some warning and hides some not-bad ones in doc. It remains a	herbelin	2009-01-29
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...	notin	2008-08-06
*	MAJ JMeq sur Type + typos (sur propositions de Pierre Castéran)	herbelin	2006-08-24
*	MAJ Rectutorial (P. Castéran)	notin	2006-08-16
*	Ajout Tutorial on recursive types	herbelin	2006-03-10