coq - The formal proof system

Age	Commit message (Expand)	Author
2020-01-07	Fix test-suite fo non maximal implicit arguments	SimonBoulier
2019-12-05	Unfortunate bug with "cofix with": case of a CProdN over no bindings.	Hugo Herbelin
2018-05-17	Introduce an option to allow nested lemma, and turn it off by default.	Théo Zimmermann
2018-03-30	Change Implicit Arguments to Arguments in test-suite	Jasper Hugunin
2017-06-14	Prelude : no more autoload of plugins extraction and recdef	Pierre Letouzey
2016-06-18	Test-suite fix to 1744e37 (injection in context).	Hugo Herbelin
2016-06-18	Giving a more natural semantics to injection by default.	Hugo Herbelin
2014-05-06	- Fix RecTutorial, and mutual induction schemes getting the wrong names.	Matthieu Sozeau
2013-01-18	Unset Asymmetric Patterns	pboutill
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2012-03-23	Fix the test-suite by removing any Reset in the scripts	letouzey
2011-02-21	Some fixes of the test-suite scripts	letouzey
2010-06-09	Automatic introduction of names given before ":" in Lemma's and	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2006-05-28	Adaptation au passage de vector dans Type	herbelin
2006-01-23	Répercussion mise à jour de Pierre Casteran vis à vis du changement de sta...	herbelin
2005-12-21	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin