2020-09-22 | Mathias Preiner | Update copyright header script to support CMake and... | blob | commitdiff | raw |
2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2019-10-23 | Andrew Reynolds | Refactoring skolems for sets (#3381) | blob | commitdiff | raw | diff to current |
2019-07-08 | Andrew Reynolds | Towards refactoring relations (#3078) | blob | commitdiff | raw | diff to current |