coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Introduce an option to allow nested lemma, and turn it off by default.	Théo Zimmermann	2018-05-17
*	Merge PR #922: New beta-iota compatibility refinements	Maxime Dénès	2017-11-08
\|\
* \|	Moving bug numbers to BZ# format in the test-suite.	Théo Zimmermann	2017-10-19
\| *	Fixing another regression with 8.4 wrt to βι-normalization of created hyps.	Hugo Herbelin	2017-08-21
\|/
*	Fix test-suite files after change in refine tactic.	Maxime Dénès	2015-12-15
*	Fix the refine related test-suite files to account for the new refine.	Arnaud Spiwack	2013-12-06
*	Unset Asymmetric Patterns	pboutill	2013-01-18
*	Changed encoding from ISO-8859-1 to UTF-8 for some remaining gallina files.	ppedrot	2012-06-12
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Adaptation to ocaml 3.11 new semantics of String.index_from (see bug #1974)	herbelin	2008-11-04
*	Wish #1582 (3eme)	herbelin	2007-05-18
*	Correction d'un bug refine	herbelin	2006-11-10
*	Vieux bug de fin 2004 gardé pour mémoire	herbelin	2006-05-05
*	Ajout bug #1102	herbelin	2006-04-28
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21
*	Fix bug #931: leave dependent evars as such for refine	herbelin	2005-03-08
*	Erreur commit précédent	herbelin	2004-12-06
*	Ajout bug #888	herbelin	2004-12-06
*	Ajout bug #889	herbelin	2004-12-06
*	Ajout exemple Yves	herbelin	2003-12-12
*	Refine et let-in	filliatr	2001-09-20