coq - The formal proof system

Age	Commit message (Expand)	Author
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias
2019-08-26	Make kernel parametric on the lowest universe and fix #9294	Matthieu Sozeau
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-02-28	Implement a method for manual declaration of implicits.	Jasper Hugunin
2018-12-19	Put #[universes(template)] on all auto template spots in stdlib	Gaëtan Gilbert
2018-10-10	[coqlib] Rebindable Coqlib namespace.	Emilio Jesus Gallego Arias
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-06-18	Giving a more natural semantics to injection by default.	Hugo Herbelin
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-05-06	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau
2012-08-08	Updating headers.	herbelin
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2011-11-21	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge
2011-05-16	Fixed my last patch: these files no longer use nat_beq (automatically	vsiles
2011-05-05	Modularization of BinPos + fixes in Stdlib	letouzey
2011-01-28	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey
2010-08-02	Fix [clenv_missing] to compute a better approximation of missing	msozeau
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-08	Made option "Automatic Introduction" active by default before too many	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey