| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-01-11 | Suppression traducteur | herbelin |
| 2001-06-13 | plus besoin de separer les ? | barras |
| 2001-01-03 | Prise en compte des ?? | herbelin |
| 2000-12-26 | MAJ | herbelin |
| 2000-12-25 | Traducteur automatique de scripts vernac | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |