| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | test de la bonne position des vars de ltac entre les vars et les rels |  herbelin | 2005-02-02 |
| * | Ajouts | herbelin | 2004-09-25 |
| * | Ajout exemple Inst | herbelin | 2004-03-11 |
| * | Test backtracking | herbelin | 2003-05-22 |
| * | Il ne doit plus y avoir de preuves non terminées à la sortie du fichier | herbelin | 2003-01-19 |
| * | *** empty log message *** | herbelin | 2002-06-14 |
| * | Test de l'interprétation des fermetures de Match Context (2ème) | herbelin | 2002-06-13 |
| * | Test de l'interprétation des fermetures de Match Context | herbelin | 2002-06-13 |
| * | *** empty log message *** | herbelin | 2001-12-21 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |