| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-11-14 | Réforme de l'interprétation des termes : | herbelin |
| 2001-12-13 | compat ocaml 3.03 | filliatr |
| 2001-11-05 | GROS COMMIT: | barras |
| 2001-05-29 | Retablissement de minicoq | coq |
| 2001-03-23 | amelioration de la consommation memoire de la conversion en eta-expansant | barras |
| 2001-03-15 | entetes | filliatr |
| 2000-11-03 | compilation des fichiers ml4 sans GNUseries | filliatr |
| 2000-11-02 | suppression des (* open Generic *) | filliatr |
| 2000-09-10 | Correction pour make doc | herbelin |
| 2000-09-10 | Suppression de Abst | herbelin |
| 2000-07-25 | retablissement make doc et make minicoq | filliatr |
| 2000-07-21 | retablissement minicoq (pour Jacek) | filliatr |
| 2000-03-31 | Portage (pour la forme) de minicoq | herbelin |
| 1999-09-10 | affichage des erreurs de typage dans minicoq | filliatr |
| 1999-09-08 | 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 |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |