| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-02-24 | first step into quickcheck integration. It works on "inline" checks but not ↵ | Dierk Koenig | |
| yet with tests from src/test. Those are not yet automatically compiled. | |||
 |
index : github/frege-gradle-plugin.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |