| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |