| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-03-19 | fregedoc todo done | Dierk Koenig | |
| 2015-02-25 | the repl needs to start with the targetDir on the classpath where the ↵ | Dierk Koenig | |
| compiled classes are available for loading | |||
| 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. | |||
| 2015-02-24 | adding a task openFregeRepl that opens the repl with the current compile ↵ | Dierk Koenig | |
| classpath on the source directory. Since the repl dependencies cannot be loaded from mavenCentral, one has to set the replDir where the download is. Default is <user.home>/.frege/repl | |||
 |
index : github/frege-gradle-plugin.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |