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-09-27	[stdlib] Fix warning due to missing Declare Scope in Bvector	Emilio Jesus Gallego Arias
2018-09-07	Bvector: add BVeq and some notations	Yishuai Li
2018-02-27	Update headers following #6543.	Théo Zimmermann
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
2014-05-02	Eta contractions to please cbn	Pierre Boutillier
2012-08-08	Updating headers.	herbelin
2012-07-05	Open Local Scope ---> Local Open Scope, same with Notation and alii	letouzey
2010-12-10	First release of Vector library.	pboutill
2010-10-23	Used multiple lists of implicit arguments to transfer the choices of	herbelin
2010-09-28	Bvector.Vshiftin was wrong for ages	pboutill
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-18	Reverted 13293 commited mistakenly. Sorry for the noise.	herbelin
2010-07-18	Tentative de suppression de l'import automatique des hints et coercions.	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-02-17	Kill some useless dependencies (Bvector, Program.Syntax)	letouzey
2009-11-02	Remove various useless {struct} annotations	letouzey
2009-09-28	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-05-28	- Correction bug highlighting "Module" dans Coqide	herbelin
2008-05-05	Mise en place d'un algorithme d'inversion des contraintes de type lors	herbelin
2006-10-17	Mise en forme des theories	notin
2006-05-28	- Déplacement des types paramétriques prod, sum, option, identity,	herbelin
2006-04-27	2-3 lemmes en plus pour que les Bvectors soient effectivement utilisables	letouzey
2005-03-16	MAJ PolyList -> List	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-02-10	backtrack implicit dans Bvector	marche
2004-02-09	patch Bvector: args implicites	marche
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-09-23	Remplacement de Induction/Destruct par NewInduction/NewDestruct	herbelin
2003-06-10	Import nat_scope	herbelin
2003-01-06	bit vectors	filliatr