| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Don't strip the newline, don't use \r |  Jason Gross | 2017-08-24 |
| | | | | | | Not sure entirely what it was supposed to do, but stripping the newline erased the following line | ||
| * | Swap order of "aggregating..." message and travis_fold | Jason Gross | 2017-08-24 |
| | | | | | | Now the folded line starts with "Aggregating..." and not with "---------" | ||
| * | Only display travis_fold: on travis | Jason Gross | 2017-08-24 |
| | | |||
| * | Move the rest of the ci target to a bash file | Jason Gross | 2017-08-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |