| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Nettoyage reduce_to_ind et one_step_reduce |  herbelin | 2001-09-09 |
| * | amelioration des messages d'erreurs vis a vis des evars |  barras | 2001-05-23 |
| * | entetes |  filliatr | 2001-03-15 |
| * | 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 |