coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-18	Support locality attributes for Hint Rewrite (including export)	Gaëtan Gilbert
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
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-05-23	Fixing typos - Part 3	JPR
2018-12-19	Put #[universes(template)] on all auto template spots in stdlib	Gaëtan Gilbert
2018-09-10	Adapting standard library to the introduction of "Declare Scope".	Hugo Herbelin
2018-03-05	Merge PR #6855: Update headers following #6543.	Maxime Dénès
2018-03-02	Remove the deprecation for some 8.2-8.5 compatibility aliases.	Théo Zimmermann
2018-02-27	Update headers following #6543.	Théo Zimmermann
2016-05-04	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-05-04	Int.v: simplify Jason's commit 5b4e3ace	Pierre Letouzey
2016-03-04	Making parentheses mandatory in tactic scopes.	Pierre-Marie Pédrot
2015-12-29	Move compatibility notations to their proper files	Jason Gross
2015-04-02	ZArith/Int.v: some modernizations	Pierre Letouzey
2012-12-18	No more constant named "int" in Coq theories (cf bug #2878)	letouzey
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2012-04-13	MSetRBT : implementation of MSets via Red-Black trees	letouzey
2011-11-21	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge
2011-05-05	Modularization of BinPos + fixes in Stdlib	letouzey
2010-04-29	Remove the svn-specific $Id$ 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
2009-03-28	ZArith/Int: no need to load romega here (but rather in FullAVL)	letouzey
2007-07-18	A generic preprocessing tactic zify for (r)omega	letouzey
2006-10-30	fixed field_simplify + changed precedence of let and fun in ltac	barras
2006-10-17	Mise en forme des theories	notin
2006-06-09	Déplacement Int.v dans ZArith, déplacement de DecidableType.v et DecidableT...	herbelin