coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-10-19	Moving bug numbers to BZ# format in the test-suite.	Théo Zimmermann
2017-08-21	Ensuring all .v files end with a newline to make "sed -i" work better on them.	Hugo Herbelin
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2012-08-08	Updating headers.	herbelin
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2011-11-16	Suppression fichier Case8.v redondant	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-17	Moved Case3.v from ideal features to success (it works since 8.2).	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-11-09	Add test-suite file related to discussion of syntax of implicit binders.	msozeau
2008-11-02	test-suite/ideal-features/{apply.v -> eapply_evar.v}	glondu
2008-10-27	- Fixed many "Theorem with" bugs.	herbelin
2008-05-05	Mise en place d'un algorithme d'inversion des contraintes de type lors	herbelin
2007-10-24	Quelques exemples à méditer sur le polymorphisme d'universe des inductifs	herbelin
2007-01-28	Pas de solution à court terme pour ce problème de complexité	herbelin
2005-12-21	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2001-10-03	Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)	herbelin
2001-09-19	Comportements peut-être souhaités mais en tout cas non officiellement pris ...	herbelin