| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
