| 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 |