aboutsummaryrefslogtreecommitdiff
path: root/doc/stdlib
AgeCommit message (Expand)Author
2009-01-19- Structuring Numbers and fixing Setoid in stdlib's doc.herbelin
2009-01-18Backporting from v8.2 to trunk:herbelin
2008-12-29Produce better html code with coqdoc and improve doc:msozeau
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-10-22Various coqdoc improvements:msozeau
2008-09-15Update stdlib html templateglondu
2008-06-102-3 petites modifs sur la docnotin
2008-06-07Fix library index template and associated script.msozeau
2008-06-03Fix setoid_rewrite documentation examples.msozeau
2008-05-26Fix bashism in doc generation.glondu
2008-04-17Add almost empty Classes.tex for documentation of type classes.msozeau
2008-03-19some references to IntMap forgotten in last commitletouzey
2008-03-19migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...letouzey
2008-02-27Bug dans la génération de la stdlibnotin
2008-02-08updates concerning FSetsletouzey
2007-11-28Ajout de l'axiomatisation des entiers à la documentation de la librairie sta...notin
2007-08-08A better Program documentation. Include it in the generated stdlib doc.msozeau
2007-07-25Modifications de la construction de la documentation de la librairienotin
2007-03-16Correction du bug #1441notin
2006-11-11Typo + ajout Qcanon.vherbelin
2006-10-17Mise en forme des theoriesnotin
2006-06-09MAJ liste fichiers doc stdlibherbelin
2006-05-26Support des modules dans Coqdocnotin
2006-03-28- correction d'un bug dans coqdoc (multi_index)notin
2006-03-25 r8709@thot: notin | 2006-03-25 01:48:46 +0100notin
2006-03-25 r8708@thot: notin | 2006-03-24 18:55:01 +0100notin
2006-03-14 r8637@thot: notin | 2006-03-14 16:00:49 +0100notin
2006-03-03Typoherbelin
2006-02-23Mise à jour des Makefile, ajout licences, corrections mineures suite àherbelin
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:21:59 +0000