| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | - Improve [Context] vernacular to allow arbitrary binders, not just |  msozeau | 2008-07-07 | |
| * | Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio... |  notin | 2008-06-25 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |