Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Correction d'un bug de coercion de pattern introduit dans la 8.1beta | 2006-09-23 | |
* | Prise en compte coercions autour des sous-termes filtrés (si non dépendants) | 2006-01-30 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | Un peu plus d'inférence des ? traitée par le Cases | 2001-12-19 | |
* | Test des coercions dans les motifs | 2001-12-11 |