| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-04-29 | Prise en compte des syntaxes v8 dans Uninterpreted Notation | herbelin |
| 2003-04-17 | Ajout "at next level" dans Notation | herbelin |
| 2003-04-11 | Ajout option 'Local' à Infix et Notation | herbelin |
| 2003-04-08 | Application de l'absence d'export aux modules | herbelin |
| 2003-04-08 | Ajout option "Local" à "Open Scope" | herbelin |
| 2002-12-15 | Prise en compte des scopes traversés dans les notations | herbelin |
| 2002-12-03 | Préparation à la prise en compte des changements de scopes internes aux not... | herbelin |
| 2002-11-28 | Bug exception | herbelin |
| 2002-11-26 | Réaffichage des Syntactic Definition (printer constr_expr). | herbelin |
| 2002-11-24 | Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior... | herbelin |
| 2002-11-14 | Réforme de l'interprétation des termes : | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |