| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-08-17 | Make Travis generate OSX packages. | Maxime Dénès | |
| The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq | |||
| 2016-11-10 | Move OSX script. | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |