aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/stdlib
Commit message (Expand)AuthorAge
* 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
* Correction du bug #1441Gravatar notin2007-03-16
* Typo + ajout Qcanon.vGravatar herbelin2006-11-11
* Mise en forme des theoriesGravatar notin2006-10-17
* MAJ liste fichiers doc stdlibGravatar herbelin2006-06-09
* Support des modules dans CoqdocGravatar notin2006-05-26
* - correction d'un bug dans coqdoc (multi_index)Gravatar notin2006-03-28
* r8709@thot: notin | 2006-03-25 01:48:46 +0100Gravatar notin2006-03-25
* r8708@thot: notin | 2006-03-24 18:55:01 +0100Gravatar notin2006-03-25
* r8637@thot: notin | 2006-03-14 16:00:49 +0100Gravatar notin2006-03-14
* TypoGravatar herbelin2006-03-03
* Mise à jour des Makefile, ajout licences, corrections mineures suite àGravatar herbelin2006-02-23
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23