Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Change of nomenclature: rawconstr -> glob_constr | 2010-12-23 | |
* | Prepare change of nomenclature rawconstr -> glob_constr | 2010-12-23 | |
* | Pour cible make doc | 2005-01-21 | |
* | En-tete doc | 2003-04-08 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Change of nomenclature: rawconstr -> glob_constr | 2010-12-23 | |
* | Prepare change of nomenclature rawconstr -> glob_constr | 2010-12-23 | |
* | Pour cible make doc | 2005-01-21 | |
* | En-tete doc | 2003-04-08 |