| Age | Commit message (Expand) | Author |
|---|
| 2019-05-22 | unified style for new hooks and old hooks | Talia Ringer |
| 2019-04-30 | fix `simpl_rel` and notations, `{pred T}` alias, `nonPropType` interface | Georges Gonthier |
| 2018-12-10 | Merge PR #7221: The usual order of strings. | Hugo Herbelin |
| 2018-11-27 | Added two proofs to the Lists library. The first, Forall_inv_tail, extends Fo... | llee454@gmail.com |
| 2018-11-22 | The usual order of strings. | Yao Li |
| 2018-11-01 | Fix alphabetical order | Vincent Semeria |
| 2018-11-01 | Fix credits | Vincent Semeria |
| 2018-11-01 | proof that R is uncountable | Vincent Semeria |
| 2018-09-12 | Remove quote plugin | Maxime Dénès |
| 2018-07-17 | Remove fourier plugin | Maxime Dénès |
| 2018-04-15 | Simplify CircleCI script | Yishuai Li |
| 2018-04-11 | Add credits related to the Sphinx migration. | Théo Zimmermann |
| 2018-02-21 | Update CREDITS. | Théo Zimmermann |
| 2017-09-05 | Update CREDITS on a best-effort basis. | Théo Zimmermann |
| 2016-06-15 | ssrmatching: giving proper credits to the original author(s) | Enrico Tassi |
| 2015-01-15 | Hugo put me in credits, but I was already there :) | Maxime Dénès |
| 2015-01-13 | Tentatively updating credits while remaining brief. | Hugo Herbelin |
| 2015-01-12 | Add myself to credits. | Maxime Dénès |
| 2015-01-12 | Update credits. | Guillaume Melquiond |
| 2014-12-09 | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey |
| 2012-05-29 | Vernacexpr is now a mli-only file, locality stuff now in locality.ml | letouzey |
| 2012-05-25 | Fixed #2789. | ppedrot |
| 2011-12-25 | Version number, copyright, credits: missing updates. | herbelin |
| 2010-06-03 | plugin groebner updated and renamed as nsatz; first version of the doc of nsa... | pottier |
| 2010-05-09 | Update of credits files | herbelin |
| 2009-03-22 | Backport from v8.2 branch of 11986 (interpretation of quantified | herbelin |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2008-05-19 | MAJ crédits | herbelin |
| 2008-04-16 | first-order --> firstorder (kills a warning about not being a valid id) | letouzey |
| 2008-04-15 | - Un peu de doc, préparation du CHANGES pour la release. | herbelin |
| 2006-10-30 | typo | herbelin |
| 2006-10-27 | Restriction au implémenteurs | herbelin |
| 2006-10-26 | MAJ | herbelin |
| 2006-05-16 | Typo dans CREDITS | notin |
| 2006-04-14 | mise a jour credits | cpaulin |
| 2006-04-14 | MAJ 8.1 | herbelin |
| 2005-09-09 | Référence pour IntMap | herbelin |
| 2004-09-09 | Crédit | herbelin |
| 2004-07-12 | MAJ technique | herbelin |
| 2004-03-17 | CREDITS | mohring |
| 2004-03-16 | Mise a jour ZArith/Cregut | mohring |
| 2004-03-15 | Mise a jour CREDITS en vue copyright | mohring |
| 2002-04-04 | Added credits for jprover. | huang |
| 2002-01-17 | MAJ | herbelin |
| 2001-09-26 | MAJ V7.1 | herbelin |
| 2001-09-21 | *** empty log message *** | mohring |
| 2001-09-21 | Mise a jour | mohring |
| 2001-03-09 | Mise a jour | mohring |
| 2001-03-09 | *** empty log message *** | mohring |
| 2001-03-09 | Mise a jour credits pour la V7 | mohring |
