Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Check whitespace errors per-commit. | 2018-02-23 | |
| | | | | | Otherwise it is possible to detect errors that are not fixed by git rebase since that works per-commit. | ||
* | Add linter. | 2017-10-25 | |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Check whitespace errors per-commit. | 2018-02-23 | |
| | | | | | Otherwise it is possible to detect errors that are not fixed by git rebase since that works per-commit. | ||
* | Add linter. | 2017-10-25 | |