aboutsummaryrefslogtreecommitdiff
path: root/CREDITS
AgeCommit message (Expand)Author
2016-06-15ssrmatching: giving proper credits to the original author(s)Enrico Tassi
2015-01-15Hugo put me in credits, but I was already there :)Maxime Dénès
2015-01-13Tentatively updating credits while remaining brief.Hugo Herbelin
2015-01-12Add myself to credits.Maxime Dénès
2015-01-12Update credits.Guillaume Melquiond
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2012-05-29Vernacexpr is now a mli-only file, locality stuff now in locality.mlletouzey
2012-05-25Fixed #2789.ppedrot
2011-12-25Version number, copyright, credits: missing updates.herbelin
2010-06-03plugin groebner updated and renamed as nsatz; first version of the doc of nsa...pottier
2010-05-09Update of credits filesherbelin
2009-03-22Backport from v8.2 branch of 11986 (interpretation of quantifiedherbelin
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2008-05-19MAJ créditsherbelin
2008-04-16first-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-30typoherbelin
2006-10-27Restriction au implémenteursherbelin
2006-10-26MAJherbelin
2006-05-16Typo dans CREDITSnotin
2006-04-14mise a jour creditscpaulin
2006-04-14MAJ 8.1herbelin
2005-09-09Référence pour IntMapherbelin
2004-09-09Créditherbelin
2004-07-12MAJ techniqueherbelin
2004-03-17CREDITSmohring
2004-03-16Mise a jour ZArith/Cregutmohring
2004-03-15Mise a jour CREDITS en vue copyrightmohring
2002-04-04Added credits for jprover.huang
2002-01-17MAJherbelin
2001-09-26MAJ V7.1herbelin
2001-09-21*** empty log message ***mohring
2001-09-21Mise a jourmohring
2001-03-09Mise a jourmohring
2001-03-09*** empty log message ***mohring
2001-03-09Mise a jour credits pour la V7mohring
2001-02-02Ajout des credits version V6.3mohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 13:54:29 +0000