Commit message (Expand) | Author | Age | |
---|---|---|---|
* | entetes | filliatr | 2001-03-15 |
* | Mise en place d'un système optionnel de discharge immédiat; prise en compte... | herbelin | 2001-02-14 |
* | Bug nommage Stdlib | herbelin | 2001-02-13 |
* | Bug nombres en chiffres décimaux dans les Cases | herbelin | 2001-02-12 |
* | Retrait de EvarRef de global_reference; nettoyage autour de ast_of_ref | herbelin | 2001-02-07 |
* | Ajout d'un parseur d'entiers sous forme de pattern | herbelin | 2001-01-19 |
* | globalize_command devient globalize_constr | herbelin | 2000-10-18 |
* | compilation native | filliatr | 1999-12-03 |