| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Utilisation du section_path pour le parsing des notations primitives, |  herbelin | 2006-02-04 | |
| * | Automatisation de l'utilisation de token primitifs dans les motifs de filtrag... | herbelin | 2006-01-08 | |
| * | Ajout d'un mécanisme d'interprétation et d'affichage pour les littéraux de... | herbelin | 2005-12-30 | |
| * | Simplifification de vernac_expr li l'abandon du traducteur | herbelin | 2005-12-23 | |
| * | Compatibilité ocamlweb pour cible doc | herbelin | 2005-01-21 | |
| * | Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p... | herbelin | 2005-01-02 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |