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