| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | GROS COMMIT: |  barras | 2001-11-05 | |
| * | 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 |