| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Factorisation de detype_case pour utilisation par l'afficheur de pattern |  herbelin | 2003-06-10 |
| * | petit nettoyage de kernel/inductive |  barras | 2002-02-07 |
| * | GROS COMMIT: | barras | 2001-11-05 |
| * | entetes |  filliatr | 2001-03-15 |
| * | syntaxe AST Inversion + commentaires ocamlweb autour de $ | filliatr | 2000-12-12 |
| * | Renommage canonique : | herbelin | 2000-10-18 |
| * | Suppression de Abst | herbelin | 2000-09-10 |
| * | Passage à des contextes de vars et de rels pouvant contenir des déclarations | herbelin | 2000-07-24 |
| * | Prise en compte nouveau case_info | herbelin | 2000-03-21 |
| * | Traduction constr->rawconstr (avant dans Termast | herbelin | 2000-01-07 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |