aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/stdlib
Commit message (Expand)AuthorAge
* Adding a V8.7 compatibility version number.Gravatar Hugo Herbelin2017-07-21
* Remove support for Coq 8.4.Gravatar Guillaume Melquiond2017-06-14
* BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Gravatar Pierre Letouzey2017-06-13
* Adding explicitly a file to work in the context of propositional extensionality.Gravatar Hugo Herbelin2017-03-03
* Adding a file providing extensional choice (i.e. choice over setoids).Gravatar Hugo Herbelin2017-03-03
* Logic library: Adding a characterization of excluded-middle in term ofGravatar Hugo Herbelin2017-03-03
* Fix #4793: Coq 8.6 should accept -compat 8.6Gravatar Maxime Dénès2016-07-06
* Fix build of documentation (broken for four months).Gravatar Guillaume Melquiond2016-06-03
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * MMaps: remove it from final 8.5 release, since this new library isn't mature ...Gravatar Pierre Letouzey2016-01-13
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-12-15
|\|
| * Moved proof_admitted to its own file, named "AdmitAxiom.v".Gravatar Maxime Dénès2015-12-14
* | Adding an amazing property of Prop.Gravatar Hugo Herbelin2015-11-07
|/
* Mark the Coq.Compat files for documentation. (Fix bug #4353)Gravatar Guillaume Melquiond2015-10-02
* Remove some outdated files and fix permissions.Gravatar Guillaume Melquiond2015-07-31
* Fix compilation of documentation broken by the addition of MMapAVL.Gravatar Guillaume Melquiond2015-04-02
* Index MMaps files, otherwise documentation cannot be built. (Fix for bug #4107)Gravatar Guillaume Melquiond2015-03-21
* doc/stdlib: fix the xhtml validity of the index-list templateGravatar Pierre Letouzey2014-12-09
* Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...Gravatar notin2014-12-09
* 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