coq - The formal proof system

Age	Commit message (Expand)	Author
2016-07-06	Fix #4793: Coq 8.6 should accept -compat 8.6	Maxime Dénès
2016-06-03	Fix build of documentation (broken for four months).	Guillaume Melquiond
2016-01-21	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-01-13	MMaps: remove it from final 8.5 release, since this new library isn't mature ...	Pierre Letouzey
2015-12-15	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-12-14	Moved proof_admitted to its own file, named "AdmitAxiom.v".	Maxime Dénès
2015-11-07	Adding an amazing property of Prop.	Hugo Herbelin
2015-10-02	Mark the Coq.Compat files for documentation. (Fix bug #4353)	Guillaume Melquiond
2015-07-31	Remove some outdated files and fix permissions.	Guillaume Melquiond
2015-04-02	Fix compilation of documentation broken by the addition of MMapAVL.	Guillaume Melquiond
2015-03-21	Index MMaps files, otherwise documentation cannot be built. (Fix for bug #4107)	Guillaume Melquiond
2014-12-09	doc/stdlib: fix the xhtml validity of the index-list template	Pierre Letouzey
2014-12-09	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...	notin
2014-10-27	Use the url package, since coqdoc generates \url commands.	Guillaume Melquiond
2014-07-15	Added a (constructive) proof of Weak Konig's lemma for decidable trees.	Hugo Herbelin
2014-07-09	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey
2014-06-26	Avoid scanning .coq-native directories when building the library index.	Guillaume Melquiond
2014-06-26	Fix documentation.	Guillaume Melquiond
2014-05-06	- Fix index-list to show computational relations for rewriting files.	Matthieu Sozeau
2014-02-24	fixup complement Fin	Pierre Boutillier
2013-06-02	A constructive proof of Fan theorem where paths are represented by predicates.	herbelin
2012-09-15	Fix failure to compile doc/stdlib/Library.tex.	gmelquio
2012-08-23	Remove a script unused since 2006 (cf commit r8626)	letouzey
2012-07-20	Vector equalities first stuff	pboutill
2012-07-10	isolate instances about Permutation and PermutationA which may slow rewrite	letouzey
2012-07-05	Legacy Ring and Legacy Field migrated to contribs	letouzey
2012-06-12	make sure that documentation compilation works after adding files for	bertot
2012-04-13	MSetRBT : implementation of MSets via Red-Black trees	letouzey
2012-02-01	Improved synchronisation of stdlib index page with current library state.	herbelin
2012-01-31	index-list.html.template: add missing files	pboutill
2011-07-04	doc/stdlib: Update the list of ZArith files	letouzey
2011-05-06	update of the file list in doc/stdlib	letouzey
2011-03-05	Restore documentation of library String which was removed in 2007 (r10049)	herbelin
2011-02-10	Remove obsolete TheoryList	glondu
2010-12-06	Numbers and bitwise functions.	letouzey
2010-11-10	Integer division: quot and rem (trunc convention) in addition to div and mod	letouzey
2010-11-05	Numbers: axiomatization, properties and implementations of gcd	letouzey
2010-11-02	Numbers : log2. Abstraction, properties and implementations.	letouzey
2010-11-02	Move stuff about positive into a distinct PArith subdir	letouzey
2010-09-28	Minor fixes of 'make doc'	pboutill
2010-07-16	FSetPositive: sets of positive inspired by FMapPositive.	letouzey
2010-06-28	Update of documentation for the standard library (cf. #2332)	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	Remove useless MonoList.v	glondu
2009-01-19	- Structuring Numbers and fixing Setoid in stdlib's doc.	herbelin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2008-12-29	Produce better html code with coqdoc and improve doc:	msozeau
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-10-22	Various coqdoc improvements:	msozeau