| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | remove old traces of SearchIsos (never ported to 7.x nor 8.x) |  letouzey | 2011-04-12 |
| * | Remove references to -ide option of coqmktop |  glondu | 2011-01-11 |
| * | Various fixes in manpages | glondu | 2008-08-08 |
| * | Ajout de pages de man pour les exécutables coq |  notin | 2006-10-11 |
| * | Ajout pages de man coq_makefile et coqmktop |  courant | 2001-04-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |