Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ crédits | 2008-05-19 | |
* | first-order --> firstorder (kills a warning about not being a valid id) | 2008-04-16 | |
* | - Un peu de doc, préparation du CHANGES pour la release. | 2008-04-15 | |
* | typo | 2006-10-30 | |
* | Restriction au implémenteurs | 2006-10-27 | |
* | MAJ | 2006-10-26 | |
* | Typo dans CREDITS | 2006-05-16 | |
* | mise a jour credits | 2006-04-14 | |
* | MAJ 8.1 | 2006-04-14 | |
* | Référence pour IntMap | 2005-09-09 | |
* | Crédit | 2004-09-09 | |
* | MAJ technique | 2004-07-12 | |
* | CREDITS | 2004-03-17 | |
* | Mise a jour ZArith/Cregut | 2004-03-16 | |
* | Mise a jour CREDITS en vue copyright | 2004-03-15 | |
* | Added credits for jprover. | 2002-04-04 | |
* | MAJ | 2002-01-17 | |
* | MAJ V7.1 | 2001-09-26 | |
* | *** empty log message *** | 2001-09-21 | |
* | Mise a jour | 2001-09-21 | |
* | Mise a jour | 2001-03-09 | |
* | *** empty log message *** | 2001-03-09 | |
* | Mise a jour credits pour la V7 | 2001-03-09 | |
* | Ajout des credits version V6.3 | 2001-02-02 |