Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updating headers. | herbelin | 2012-08-08 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Extraction: in support library, more and nicer big_int | letouzey | 2010-06-15 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updating headers. | herbelin | 2012-08-08 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Extraction: in support library, more and nicer big_int | letouzey | 2010-06-15 |