| Age | Commit message (Expand) | Author |
|---|
| 2020-06-14 | [micromega] native support for boolean operators | Frédéric Besson |
| 2020-05-07 | rename Bool.leb into Bool.le (same for ltb and compareb) | Olivier Laurent |
| 2020-05-06 | Merge PR #12008: [stdlib] Add order properties about bool | Anton Trunov |
| 2020-05-06 | Layout of Bool.v, especially for coqdoc. | Hugo Herbelin |
| 2020-05-06 | Adding properties about implb. | Hugo Herbelin |
| 2020-05-04 | add order properties about bool | Olivier Laurent |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-08-25 | Make Bool.eqb_spec transparent | Tej Chajed |
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann |
| 2019-01-23 | Pass some files to strict focusing mode. | Gaëtan Gilbert |
| 2018-11-14 | Deprecate hint declaration/removal with no specified database | Maxime Dénès |
| 2018-09-27 | [stdlib] Fix warning due to missing Declare Scope in Bvector | Emilio Jesus Gallego Arias |
| 2018-09-26 | Merge PR #8171: Bvector: add BVeq and some notations | Hugo Herbelin |
| 2018-09-10 | Adapting standard library to the introduction of "Declare Scope". | Hugo Herbelin |
| 2018-09-07 | Bvector: add BVeq and some notations | Yishuai Li |
| 2018-07-16 | Ascii.eqb and String.eqb | Pierre Letouzey |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2017-06-01 | drop vo.itarget files and compute the corresponding the corresponding values ... | Matej Kosik |
| 2016-10-24 | Remove v62 from stdlib. | Théo Zimmermann |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-07-31 | Remove some outdated files and fix permissions. | Guillaume Melquiond |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-10-22 | Fixing typo absorption (bug #3751). | Hugo Herbelin |
| 2014-05-02 | Eta contractions to please cbn | Pierre Boutillier |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-07-05 | Kills the useless tactic annotations "in |- *" | letouzey |
| 2012-07-05 | Open Local Scope ---> Local Open Scope, same with Notation and alii | letouzey |
| 2012-07-05 | ZArith + other : favor the use of modern names instead of compat notations | letouzey |
| 2011-11-21 | theories/, plugins/ and test-suite/ ported to the Arguments vernacular | gareuselesinge |
| 2011-06-21 | Follow-up concerning eqb / ltb / leb comparisons | letouzey |
| 2010-12-10 | First release of Vector library. | pboutill |
| 2010-12-06 | Numbers and bitwise functions. | letouzey |
| 2010-11-18 | Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits | letouzey |
| 2010-10-23 | Used multiple lists of implicit arguments to transfer the choices of | herbelin |
| 2010-09-28 | Bvector.Vshiftin was wrong for ages | pboutill |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-07-18 | Reverted 13293 commited mistakenly. Sorry for the noise. | herbelin |
| 2010-07-18 | Tentative de suppression de l'import automatique des hints et coercions. | herbelin |
| 2010-07-16 | Bool: shorter and more systematic proofs + an iff lemma about eqb | letouzey |
| 2010-07-10 | Bool: iff lemmas about or, a reflect inductive, an is_true function | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-02-17 | Kill some useless dependencies (Bvector, Program.Syntax) | letouzey |
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-11-06 | Numbers: finish files NStrongRec and NDefOps | letouzey |
| 2009-11-02 | Remove various useless {struct} annotations | letouzey |
| 2009-09-28 | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-09 | Znumtheory + Zdiv enriched with stuff from ZMicromega, misc improvements | letouzey |
| 2008-05-28 | - Correction bug highlighting "Module" dans Coqide | herbelin |
