Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Change of nomenclature: rawconstr -> glob_constr | 2010-12-23 | |
* | Prepare change of nomenclature rawconstr -> glob_constr | 2010-12-23 | |
* | "make source-doc" builds documentation of mli in html and pdf at | 2010-04-29 |
![]() |
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 | |
* | "make source-doc" builds documentation of mli in html and pdf at | 2010-04-29 |