| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-09-07 | travis: also test Coq v8.7 | Enrico |
| 2017-07-13 | travis: trunk -> master | Enrico |
| 2017-02-07 | [travis] Make v8.5 build again | Emilio Jesus Gallego Arias |
| 2017-02-07 | [travis] Build 70% of FT proof. | Emilio Jesus Gallego Arias |
| 2017-02-07 | [travis] Improve parallelism in build (cf #88) | Emilio Jesus Gallego Arias |
| 2017-02-06 | [travis] Add initial Travis CI support. | Emilio Jesus Gallego Arias |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |
path: root/.travis.yml