| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-01-22 | Remove travis | Gaëtan Gilbert |
| 2017-12-21 | Fix CI with parallel make (messed up dependencies) | Gaëtan Gilbert |
| 2017-12-13 | Put bignums, math-classes and corn dependencies in Makefile | Gaëtan Gilbert |
| 2017-08-24 | Don't strip the newline, don't use \r | Jason Gross |
| 2017-08-24 | Swap order of "aggregating..." message and travis_fold | Jason Gross |
| 2017-08-24 | Only display travis_fold: on travis | Jason Gross |
| 2017-08-15 | Move the rest of the ci target to a bash file | Jason Gross |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |