| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-08-24 | Don't strip the newline, don't use \r | Jason Gross | |
| Not sure entirely what it was supposed to do, but stripping the newline erased the following line | |||
| 2017-08-24 | Swap order of "aggregating..." message and travis_fold | Jason Gross | |
| Now the folded line starts with "Aggregating..." and not with "---------" | |||
| 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 |