| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-06-27 | Logo Coq dans coqide | notin |
| 2008-05-29 | transparent background | barras |
| 2008-05-28 | Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image de | herbelin |
| 2007-09-04 | fixed icons | barras |
| 2003-07-16 | coqide: fixed problems with -R -I and coqide interaction | monate |
| 2003-03-04 | belle image de coq (en png en plus) | marche |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
