Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Backporting 11445 from 8.2 to trunk (negative conditions in | herbelin | 2008-10-11 |
* | Ajout de la possibilité de faire référence dans certains cas à un nom | herbelin | 2007-04-28 |
* | Nouvelle approche pour le discharge modulaire | herbelin | 2007-01-10 |
* | Essai de changement de sémantique du %scope : | herbelin | 2006-10-05 |
* | 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 |