Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Utilisation du section_path pour le parsing des notations primitives, | 2006-02-04 | |
* | Adaptation message d'erreur au cas des string | 2006-01-31 | |
* | Suppression de la dépendance en Map.fold de ocaml dont la sémantique a | 2006-01-24 | |
* | Automatisation de l'utilisation de token primitifs dans les motifs de filtrag... | 2006-01-08 | |
* | Ajout d'un mécanisme d'interprétation et d'affichage pour les littéraux de... | 2005-12-30 | |
* | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | 2005-12-26 | |
* | Simplifification de vernac_expr li l'abandon du traducteur | 2005-12-23 | |
* | Nettoyage suite à la détection par défaut des variables inutilisées par o... | 2005-11-08 | |
* | Moving centralised discharge into dispatched discharge_function; required to ... | 2005-02-18 | |
* | HUGE COMMIT | 2005-01-03 | |
* | Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p... | 2005-01-02 |