| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Typos et passage v7->v8 |  herbelin | 2004-02-23 |
| * | Une solution au probl�me d'espacement apr�s _ dans les titres | herbelin | 2004-01-07 |
| * | modif generales claude |  coq | 2003-12-30 |
| * | plus de pb avec referencemanual.sh |  marche | 2003-12-02 |
| * | Update de la doc pour les setoides. |  clrenard | 2001-09-23 |
| * | Ajout de la doc pour la tactique Setoid_replace. | clrenard | 2001-06-12 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |