Age | Commit message (Expand) | Author |
---|---|---|
2020-06-28 | compiles and runs with frege-3.25.84.jar and Gradle 5.0 | Dierk Koenig |
2015-12-14 | minor cleanup on integTest.gradle | Rene Groeschke |
2015-11-18 | Add infrastructure for adding integration tests using testkit | Rene Groeschke |