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-11-01	develop constructive epsilon	Vincent Semeria
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-10-16	ConstructiveEpsilon: simplify the before_witness type using non-uniform param...	Arnaud Spiwack
2012-08-08	Updating headers.	herbelin
2012-07-05	Open Local Scope ---> Local Open Scope, same with Notation and alii	letouzey
2011-11-03	Cleaning a little bit the files talking about descriptions: avoiding	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-22	Backported r13308 (ConstructiveEpsilon.v) to branch v8.3	herbelin
2010-07-22	Update of ConstructiveEpsilon.v by Jean-François Monin.	herbelin
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-04-28	Backporting 12112 from v8.2 branch to trunk (fixing documentation bugs	herbelin
2008-07-15	Autour du parsing:	herbelin
2008-03-30	Modifications diverses et variées :	herbelin
2008-03-23	Nettoyage Wf.v et unification (suite remarques faites sur cocorico)	herbelin
2008-01-23	Changing R to a local definition so that it isn't exported.	roconnor
2007-01-23	Derivation of (exists x : A, P x) -> {x : A \| P x} for decidable P	emakarov