| Age | Commit message (Expand) | Author |
|---|
| 2018-07-16 | bin,oct,hex conversions positive,Z,N,nat<->string | Jason Gross |
| 2018-03-07 | Add empty compat file for Coq 8.8 | Jason Gross |
| 2018-03-02 | Remove 8.5 compatibility support. | Théo Zimmermann |
| 2018-02-20 | Doc: add Decimal-related files to index-list.html.template | Jason Gross |
| 2017-07-21 | Adding a V8.7 compatibility version number. | Hugo Herbelin |
| 2017-06-14 | Remove support for Coq 8.4. | Guillaume Melquiond |
| 2017-06-13 | BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo) | Pierre Letouzey |
| 2017-03-03 | Adding explicitly a file to work in the context of propositional extensionality. | Hugo Herbelin |
| 2017-03-03 | Adding a file providing extensional choice (i.e. choice over setoids). | Hugo Herbelin |
| 2017-03-03 | Logic library: Adding a characterization of excluded-middle in term of | Hugo Herbelin |
| 2016-07-06 | Fix #4793: Coq 8.6 should accept -compat 8.6 | Maxime Dénès |
| 2016-06-03 | Fix build of documentation (broken for four months). | Guillaume Melquiond |
| 2016-01-21 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2016-01-13 | MMaps: remove it from final 8.5 release, since this new library isn't mature ... | Pierre Letouzey |
| 2015-12-15 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2015-12-14 | Moved proof_admitted to its own file, named "AdmitAxiom.v". | Maxime Dénès |
| 2015-11-07 | Adding an amazing property of Prop. | Hugo Herbelin |
| 2015-10-02 | Mark the Coq.Compat files for documentation. (Fix bug #4353) | Guillaume Melquiond |
| 2015-07-31 | Remove some outdated files and fix permissions. | Guillaume Melquiond |
| 2015-04-02 | Fix compilation of documentation broken by the addition of MMapAVL. | Guillaume Melquiond |
| 2015-03-21 | Index MMaps files, otherwise documentation cannot be built. (Fix for bug #4107) | Guillaume Melquiond |
| 2014-12-09 | doc/stdlib: fix the xhtml validity of the index-list template | Pierre Letouzey |
| 2014-12-09 | Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat... | notin |
| 2014-10-27 | Use the url package, since coqdoc generates \url commands. | Guillaume Melquiond |
| 2014-07-15 | Added a (constructive) proof of Weak Konig's lemma for decidable trees. | Hugo Herbelin |
| 2014-07-09 | Arith: full integration of the "Numbers" modular framework | Pierre Letouzey |
| 2014-06-26 | Avoid scanning .coq-native directories when building the library index. | Guillaume Melquiond |
| 2014-06-26 | Fix documentation. | Guillaume Melquiond |
| 2014-05-06 | - Fix index-list to show computational relations for rewriting files. | Matthieu Sozeau |
| 2014-02-24 | fixup complement Fin | Pierre Boutillier |
| 2013-06-02 | A constructive proof of Fan theorem where paths are represented by predicates. | herbelin |
| 2012-09-15 | Fix failure to compile doc/stdlib/Library.tex. | gmelquio |
| 2012-08-23 | Remove a script unused since 2006 (cf commit r8626) | letouzey |
| 2012-07-20 | Vector equalities first stuff | pboutill |
| 2012-07-10 | isolate instances about Permutation and PermutationA which may slow rewrite | letouzey |
| 2012-07-05 | Legacy Ring and Legacy Field migrated to contribs | letouzey |
| 2012-06-12 | make sure that documentation compilation works after adding files for | bertot |
| 2012-04-13 | MSetRBT : implementation of MSets via Red-Black trees | letouzey |
| 2012-02-01 | Improved synchronisation of stdlib index page with current library state. | herbelin |
| 2012-01-31 | index-list.html.template: add missing files | pboutill |
| 2011-07-04 | doc/stdlib: Update the list of ZArith files | letouzey |
| 2011-05-06 | update of the file list in doc/stdlib | letouzey |
| 2011-03-05 | Restore documentation of library String which was removed in 2007 (r10049) | herbelin |
| 2011-02-10 | Remove obsolete TheoryList | glondu |
| 2010-12-06 | Numbers and bitwise functions. | letouzey |
| 2010-11-10 | Integer division: quot and rem (trunc convention) in addition to div and mod | letouzey |
| 2010-11-05 | Numbers: axiomatization, properties and implementations of gcd | letouzey |
| 2010-11-02 | Numbers : log2. Abstraction, properties and implementations. | letouzey |
| 2010-11-02 | Move stuff about positive into a distinct PArith subdir | letouzey |
| 2010-09-28 | Minor fixes of 'make doc' | pboutill |
