| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Les notations 'x <= y <= z' sont réservées et s'appliquent maintenant aussi... |  herbelin | 2003-09-21 | |
| * | Affichage {}+{}, niveau paire au plus haut | herbelin | 2003-08-10 | |
| * | Deplacement delimiteur T dans Notations | herbelin | 2003-06-10 | |
| * | Bug niveau | herbelin | 2003-05-29 | |
| * | Ne pas mettre d'associatif a droite au niveau 3 en V7 | herbelin | 2003-05-29 | |
| * | V8Notation | herbelin | 2003-05-22 | |
| * | Ajout V8Notation | herbelin | 2003-05-22 | |
| * | Concentration des notations officielles dans Init/Notations; restructuration ... | herbelin | 2003-05-21 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |