| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Introduction du warning Fragile_pat pour signaler les filtrages | Pierre Weis | 2003-05-02 | 1 | -0/+1 |
| * | Nouveaux warning dans les or-pats | Luc Maranget | 2002-05-24 | 1 | -0/+1 |
| * | detabisation | Damien Doligez | 2002-01-20 | 1 | -1/+1 |
| * | enrich variant types | Jacques Garrigue | 2001-09-25 | 1 | -0/+1 |
| * | passage aux labels stricts | Jacques Garrigue | 2001-09-06 | 1 | -1/+2 |
| * | PR#212 | Damien Doligez | 2000-10-26 | 1 | -1/+2 |
| * | option -warn-error | Damien Doligez | 2000-08-23 | 1 | -2/+10 |
| * | refonte pour faciliter l'ajout de nouveaux flags | Damien Doligez | 1999-12-23 | 1 | -5/+5 |
| * | Changement de la licence | Xavier Leroy | 1999-11-17 | 1 | -1/+2 |
| * | Partial match avec joli message | Luc Maranget | 1999-10-29 | 1 | -1/+1 |
| * | ajout warnings commentaires suspects | Damien Doligez | 1999-10-21 | 1 | -0/+1 |
| * | Tbl: ajout de la fonction mem qui teste si un élément donné est dans | Pierre Weis | 1998-11-05 | 1 | -0/+28 |
