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