2019-03-26 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw |
2018-06-25 | Aina Niemetz | Updated copyright headers. | blob | commitdiff | raw | diff to current |
2017-07-07 | Mathias Preiner | Update copyright headers. | blob | commitdiff | raw | diff to current |
2017-03-17 | guykatzz | better support for proof production when encountering... | blob | commitdiff | raw | diff to current |