aboutsummaryrefslogtreecommitdiff
path: root/doc/stdlib
AgeCommit message (Expand)Author
2013-06-02A constructive proof of Fan theorem where paths are represented by predicates.herbelin
2012-09-15Fix failure to compile doc/stdlib/Library.tex.gmelquio
2012-08-23Remove a script unused since 2006 (cf commit r8626)letouzey
2012-07-20Vector equalities first stuffpboutill
2012-07-10isolate instances about Permutation and PermutationA which may slow rewriteletouzey
2012-07-05Legacy Ring and Legacy Field migrated to contribsletouzey
2012-06-12make sure that documentation compilation works after adding files forbertot
2012-04-13MSetRBT : implementation of MSets via Red-Black treesletouzey
2012-02-01Improved synchronisation of stdlib index page with current library state.herbelin
2012-01-31index-list.html.template: add missing filespboutill
2011-07-04doc/stdlib: Update the list of ZArith filesletouzey
2011-05-06update of the file list in doc/stdlibletouzey
2011-03-05Restore documentation of library String which was removed in 2007 (r10049)herbelin
2011-02-10Remove obsolete TheoryListglondu
2010-12-06Numbers and bitwise functions.letouzey
2010-11-10Integer division: quot and rem (trunc convention) in addition to div and modletouzey
2010-11-05Numbers: axiomatization, properties and implementations of gcdletouzey
2010-11-02Numbers : log2. Abstraction, properties and implementations.letouzey
2010-11-02Move stuff about positive into a distinct PArith subdirletouzey
2010-09-28Minor fixes of 'make doc'pboutill
2010-07-16FSetPositive: sets of positive inspired by FMapPositive.letouzey
2010-06-28Update of documentation for the standard library (cf. #2332)letouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-28Fix the stdlib doc compilation + switch all .v file to utf8letouzey
2009-09-17Remove useless MonoList.vglondu
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:23:04 +0000