| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-10-22 | reorganisation des niveaux (ex: = est a 70) | barras |
| 2003-10-16 | nouvelle syntaxe de ltac | barras |
| 2003-10-13 | Enregistrement '^' en v8 | herbelin |
| 2003-09-21 | Les notations 'x <= y <= z' sont réservées et s'appliquent maintenant aussi... | herbelin |
| 2003-08-10 | Affichage {}+{}, niveau paire au plus haut | herbelin |
| 2003-06-10 | Deplacement delimiteur T dans Notations | herbelin |
| 2003-05-29 | Bug niveau | herbelin |
| 2003-05-29 | Ne pas mettre d'associatif a droite au niveau 3 en V7 | herbelin |
| 2003-05-22 | V8Notation | herbelin |
| 2003-05-22 | Ajout V8Notation | herbelin |
| 2003-05-21 | Concentration des notations officielles dans Init/Notations; restructuration ... | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |