| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Parsing du moins unaire au niveau de l'application qui n'a pas besoin d'etre ... |  herbelin | 2003-10-30 | |
| * | Ajout %core; MAJ niveau connecteurs logique | herbelin | 2003-10-28 | |
| * | reorganisation des niveaux (ex: = est a 70) |  barras | 2003-10-22 | |
| * | nouvelle syntaxe de ltac | barras | 2003-10-16 | |
| * | Enregistrement '^' en v8 | herbelin | 2003-10-13 | |
| * | 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 |