Commit message (Expand) | Author | Age | |
---|---|---|---|
* | overlay for UniMath | 2017-05-23 | |
* | Adding a dedicated travis overlay for fiat-parsers. | 2017-04-24 | |
* | [travis] Overlay for PR#461: Camlp4 removal. | 2017-04-07 | |
* | [travis] Basic support for overlays. | 2017-03-13 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | overlay for UniMath | 2017-05-23 | |
* | Adding a dedicated travis overlay for fiat-parsers. | 2017-04-24 | |
* | [travis] Overlay for PR#461: Camlp4 removal. | 2017-04-07 | |
* | [travis] Basic support for overlays. | 2017-03-13 |