aboutsummaryrefslogtreecommitdiff
path: root/CREDITS
AgeCommit message (Expand)Author
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-01 08:18:17 +0000