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