Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Mise a jour de la config pour distrib | 2001-04-10 | ||
* | MAJ | 2000-12-22 | ||
* | mise à jour | 2000-11-29 | ||
* | compilation avec make de Solaris; README et INSTALL | 2000-11-03 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Mise a jour de la config pour distrib | 2001-04-10 | ||
* | MAJ | 2000-12-22 | ||
* | mise à jour | 2000-11-29 | ||
* | compilation avec make de Solaris; README et INSTALL | 2000-11-03 |