coq - The formal proof system

Age	Commit message (Expand)	Author
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-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-07-16	FSetPositive: sets of positive inspired by FMapPositive.	letouzey
2010-06-28	Update of documentation for the standard library (cf. #2332)	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-09-15	Update stdlib html template	glondu
2008-06-07	Fix library index template and associated script.	msozeau
2008-06-03	Fix setoid_rewrite documentation examples.	msozeau
2008-03-19	some references to IntMap forgotten in last commit	letouzey
2008-02-08	updates concerning FSets	letouzey
2007-11-28	Ajout de l'axiomatisation des entiers à la documentation de la librairie sta...	notin
2007-08-08	A better Program documentation. Include it in the generated stdlib doc.	msozeau
2007-07-25	Modifications de la construction de la documentation de la librairie	notin
2007-03-16	Correction du bug #1441	notin
2006-11-11	Typo + ajout Qcanon.v	herbelin
2006-06-09	MAJ liste fichiers doc stdlib	herbelin
2006-05-26	Support des modules dans Coqdoc	notin
2006-03-28	- correction d'un bug dans coqdoc (multi_index)	notin
2006-03-25	r8709@thot: notin \| 2006-03-25 01:48:46 +0100	notin
2006-02-23	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin