aboutsummaryrefslogtreecommitdiffhomepage
path: root/CREDITS
Commit message (Expand)AuthorAge
* Hugo put me in credits, but I was already there :)Gravatar Maxime Dénès2015-01-15
* Tentatively updating credits while remaining brief.Gravatar Hugo Herbelin2015-01-15
* Add myself to credits.Gravatar Maxime Dénès2015-01-12
* Update credits.Gravatar Guillaume Melquiond2015-01-12
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* Vernacexpr is now a mli-only file, locality stuff now in locality.mlGravatar letouzey2012-05-29
* Fixed #2789.Gravatar ppedrot2012-05-25
* Version number, copyright, credits: missing updates.Gravatar herbelin2011-12-25
* plugin groebner updated and renamed as nsatz; first version of the doc of nsa...Gravatar pottier2010-06-03
* Update of credits filesGravatar herbelin2010-05-09
* Backport from v8.2 branch of 11986 (interpretation of quantifiedGravatar herbelin2009-03-22
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* MAJ créditsGravatar herbelin2008-05-19
* first-order --> firstorder (kills a warning about not being a valid id)Gravatar letouzey2008-04-16
* - Un peu de doc, préparation du CHANGES pour la release.Gravatar herbelin2008-04-15
* typoGravatar herbelin2006-10-30
* Restriction au implémenteursGravatar herbelin2006-10-27
* MAJGravatar herbelin2006-10-26
* Typo dans CREDITSGravatar notin2006-05-16
* mise a jour creditsGravatar cpaulin2006-04-14
* MAJ 8.1Gravatar herbelin2006-04-14
* Référence pour IntMapGravatar herbelin2005-09-09
* CréditGravatar herbelin2004-09-09
* MAJ techniqueGravatar herbelin2004-07-12
* CREDITSGravatar mohring2004-03-17
* Mise a jour ZArith/CregutGravatar mohring2004-03-16
* Mise a jour CREDITS en vue copyrightGravatar mohring2004-03-15
* Added credits for jprover.Gravatar huang2002-04-04
* MAJGravatar herbelin2002-01-17
* MAJ V7.1Gravatar herbelin2001-09-26
* *** empty log message ***Gravatar mohring2001-09-21
* Mise a jourGravatar mohring2001-09-21
* Mise a jourGravatar mohring2001-03-09
* *** empty log message ***Gravatar mohring2001-03-09
* Mise a jour credits pour la V7Gravatar mohring2001-03-09
* Ajout des credits version V6.3Gravatar mohring2001-02-02