| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-07-16 | Bug dans la globalisation des arguments de tactiques primitives | herbelin |
| 2002-07-11 | Que la localisation des erreurs pour les tactiques atomiques marche | herbelin |
| 2002-07-03 | Hack pour autoriser les $n dans les Grammar tactic | herbelin |
| 2002-06-13 | Réparation de l'interprétation des fermetures (sans casser Field!) | herbelin |
| 2002-06-06 | Ajout coercion constr vers hyp quantifiée | herbelin |
| 2002-05-31 | Les VContext ne sont plus des fermetures (temporaire) | delahaye |
| 2002-05-30 | Finalement un seul constr pour l'instant dans ExtraRedExpr | herbelin |
| 2002-05-29 | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |