| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Mise en place de la possibilite d'unfolder des variables locales et des const... |  filliatr | 2001-01-31 |
| * | syntaxe AST Inversion + commentaires ocamlweb autour de $ | filliatr | 2000-12-12 |
| * | Minor correction for Ocamlweb + doc update |  coq | 2000-09-14 |
| * | Déplacement de fonctions de Reduction vers Tacred |  herbelin | 2000-09-14 |
| * | Nouveaux types 'constructor' et 'inductive' dans Term; | herbelin | 1999-12-15 |
| * | - états fabriqués avec -silent | filliatr | 1999-12-13 |
| * | modifs pour premiere edition de liens | filliatr | 1999-12-02 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |