| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Elimination du ' |  delahaye | 2000-11-28 |
| * | Nouveau choix pour l'intros initial | delahaye | 2000-11-24 |
| * | On n'introduit que des produits non dependants | delahaye | 2000-11-23 |
| * | compilation des fichiers ml4 sans GNUseries |  filliatr | 2000-11-03 |
| * | Remplacement de Tauto et Intuition | delahaye | 2000-10-30 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |