| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Réforme de l'interprétation des termes : |  herbelin | 2002-11-14 |
| * | compat ocaml 3.03 |  filliatr | 2001-12-13 |
| * | GROS COMMIT: |  barras | 2001-11-05 |
| * | Retablissement de minicoq |  coq | 2001-05-29 |
| * | amelioration de la consommation memoire de la conversion en eta-expansant | barras | 2001-03-23 |
| * | entetes | filliatr | 2001-03-15 |
| * | compilation des fichiers ml4 sans GNUseries | filliatr | 2000-11-03 |
| * | suppression des (* open Generic *) | filliatr | 2000-11-02 |
| * | Correction pour make doc | herbelin | 2000-09-10 |
| * | Suppression de Abst | herbelin | 2000-09-10 |
| * | retablissement make doc et make minicoq | filliatr | 2000-07-25 |
| * | retablissement minicoq (pour Jacek) | filliatr | 2000-07-21 |
| * | Portage (pour la forme) de minicoq | herbelin | 2000-03-31 |
| * | affichage des erreurs de typage dans minicoq | filliatr | 1999-09-10 |
| * | modules Ast et Pcoq | filliatr | 1999-09-08 |
| * | minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const... | filliatr | 1999-09-08 |
| * | fichiers camlp4 avec suffix .ml4 | filliatr | 1999-09-08 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |