coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Prelude : no more autoload of plugins extraction and recdef	Pierre Letouzey	2017-06-14
*	Test-suite fix to 1744e37 (injection in context).	Hugo Herbelin	2016-06-18
*	Giving a more natural semantics to injection by default.	Hugo Herbelin	2016-06-18
*	- Fix RecTutorial, and mutual induction schemes getting the wrong names.	Matthieu Sozeau	2014-05-06
*	Unset Asymmetric Patterns	pboutill	2013-01-18
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	Fix the test-suite by removing any Reset in the scripts	letouzey	2012-03-23
*	Some fixes of the test-suite scripts	letouzey	2011-02-21
*	Automatic introduction of names given before ":" in Lemma's and	herbelin	2010-06-09
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Adaptation au passage de vector dans Type	herbelin	2006-05-28
*	Répercussion mise à jour de Pierre Casteran vis à vis du changement de sta...	herbelin	2006-01-23
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21