| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | use at least 6 Xs in mktemp filename templates |  Sven M. Hallberg | 2018-05-09 |
| | | | | | OpenBSD mktemp fails with an error otherwise. | ||
| * | make test-suite/save-logs.sh usable also on old MacOS X |  Maxime Denes | 2017-06-12 |
| | | |||
| * | [travis] print failing test suite logs on failure |  Gaëtan Gilbert | 2017-05-31 |
| | | |||
| * | [gitlab] Artifact test suite logs on failure. | Gaëtan Gilbert | 2017-05-30 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |