| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | petits bug dans chapitre des modules |  barras | 2004-02-23 |
| * | ajout d'une passe de latex our avoir un index correct | barras | 2004-01-14 |
| * | correction bugs commit precedent et mise en forme html |  coq | 2004-01-05 |
| * | modif generales claude | coq | 2003-12-30 |
| * | Typos |  herbelin | 2003-12-19 |
| * | Mis-a-jour modules, ajout de Import et Export | coq | 2003-12-11 |
| * | coqide |  marche | 2003-12-04 |
| * | typos |  letouzey | 2002-12-02 |
| * | Doc module, premiere version | coq | 2002-10-05 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |