aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/stdlib
Commit message (Expand)AuthorAge
* Use the url package, since coqdoc generates \url commands.Gravatar Guillaume Melquiond2014-10-27
* Added a (constructive) proof of Weak Konig's lemma for decidable trees.Gravatar Hugo Herbelin2014-07-15
* Arith: full integration of the "Numbers" modular frameworkGravatar Pierre Letouzey2014-07-09
* Avoid scanning .coq-native directories when building the library index.Gravatar Guillaume Melquiond2014-06-26
* Fix documentation.Gravatar Guillaume Melquiond2014-06-26
* - Fix index-list to show computational relations for rewriting files.Gravatar Matthieu Sozeau2014-05-06
* fixup complement FinGravatar Pierre Boutillier2014-02-24
* A constructive proof of Fan theorem where paths are represented by predicates.Gravatar herbelin2013-06-02
* Fix failure to compile doc/stdlib/Library.tex.Gravatar gmelquio2012-09-15
* Remove a script unused since 2006 (cf commit r8626)Gravatar letouzey2012-08-23
* Vector equalities first stuffGravatar pboutill2012-07-20
* isolate instances about Permutation and PermutationA which may slow rewriteGravatar letouzey2012-07-10
* Legacy Ring and Legacy Field migrated to contribsGravatar letouzey2012-07-05
* make sure that documentation compilation works after adding files forGravatar bertot2012-06-12
* MSetRBT : implementation of MSets via Red-Black treesGravatar letouzey2012-04-13
* Improved synchronisation of stdlib index page with current library state.Gravatar herbelin2012-02-01
* index-list.html.template: add missing filesGravatar pboutill2012-01-31
* doc/stdlib: Update the list of ZArith filesGravatar letouzey2011-07-04
* update of the file list in doc/stdlibGravatar letouzey2011-05-06
* Restore documentation of library String which was removed in 2007 (r10049)Gravatar herbelin2011-03-05
* Remove obsolete TheoryListGravatar glondu2011-02-10
* Numbers and bitwise functions.Gravatar letouzey2010-12-06
* Integer division: quot and rem (trunc convention) in addition to div and modGravatar letouzey2010-11-10
* Numbers: axiomatization, properties and implementations of gcdGravatar letouzey2010-11-05
* Numbers : log2. Abstraction, properties and implementations.Gravatar letouzey2010-11-02
* Move stuff about positive into a distinct PArith subdirGravatar letouzey2010-11-02
* Minor fixes of 'make doc'Gravatar pboutill2010-09-28
* FSetPositive: sets of positive inspired by FMapPositive.Gravatar letouzey2010-07-16
* Update of documentation for the standard library (cf. #2332)Gravatar letouzey2010-06-28
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* Remove useless MonoList.vGravatar glondu2009-09-17
* - Structuring Numbers and fixing Setoid in stdlib's doc.Gravatar herbelin2009-01-19
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Produce better html code with coqdoc and improve doc:Gravatar msozeau2008-12-29
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Various coqdoc improvements:Gravatar msozeau2008-10-22
* Update stdlib html templateGravatar glondu2008-09-15
* 2-3 petites modifs sur la docGravatar notin2008-06-10
* Fix library index template and associated script.Gravatar msozeau2008-06-07
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* Fix bashism in doc generation.Gravatar glondu2008-05-26
* Add almost empty Classes.tex for documentation of type classes.Gravatar msozeau2008-04-17
* some references to IntMap forgotten in last commitGravatar letouzey2008-03-19
* migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...Gravatar letouzey2008-03-19
* Bug dans la génération de la stdlibGravatar notin2008-02-27
* updates concerning FSetsGravatar letouzey2008-02-08
* Ajout de l'axiomatisation des entiers à la documentation de la librairie sta...Gravatar notin2007-11-28
* A better Program documentation. Include it in the generated stdlib doc.Gravatar msozeau2007-08-08
* Modifications de la construction de la documentation de la librairieGravatar notin2007-07-25