Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Retour dans pretyping | herbelin | 1999-12-01 | |
* | déplacé dans kernel | herbelin | 1999-12-01 | |
* | - environment -> safe_environment | filliatr | 1999-12-01 | |
* | Version initiale | herbelin | 1999-11-26 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Retour dans pretyping | herbelin | 1999-12-01 | |
* | déplacé dans kernel | herbelin | 1999-12-01 | |
* | - environment -> safe_environment | filliatr | 1999-12-01 | |
* | Version initiale | herbelin | 1999-11-26 |