| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-11-26 | Oubli | herbelin |
| 2002-11-24 | Rétablissement printer via ast | herbelin |
| 2002-11-24 | Installation des printers de nombres pour constr_expr | herbelin |
| 2002-11-20 | Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu... | herbelin |
| 2002-10-13 | Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha... | herbelin |
| 2002-05-29 | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin |
| 2001-12-13 | compat ocaml 3.03 | filliatr |
| 2001-03-15 | entetes | filliatr |
| 2001-02-14 | Mise en place d'un système optionnel de discharge immédiat; prise en compte... | herbelin |
| 2001-02-13 | Bug nommage Stdlib | herbelin |
| 2001-02-12 | Bug nombres en chiffres décimaux dans les Cases | herbelin |
| 2001-02-07 | Retrait de EvarRef de global_reference; nettoyage autour de ast_of_ref | herbelin |
| 2001-01-19 | Ajout d'un parseur d'entiers sous forme de pattern | herbelin |
| 2000-10-18 | globalize_command devient globalize_constr | herbelin |
| 1999-12-03 | compilation native | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |