github/frege-gradle-plugin.git/src/main/java/ch/fhnw/thga/gradleplugins/internal, branch v1.5.0-alpha Unnamed repository; edit this file 'description' to name the repository. refactor: adds an internal `depsFrege` task and simplifes `replFrege` 2021-12-10T08:31:44+00:00 Thibault Gagnaux tgagnaux@gmail.com 2021-12-10T08:31:44+00:00 815cc93c870a2a857de8c5dd1dcc8c9aa5b4f2a8 - `depsFregeTask`: only internal use for the vscode plugin to automate the repl code lens. - `replFregeTask`: simplified to only print the command to start the repl because starting and interacting through a console is not gradle's core strength. See https://github.com/tricktron/frege-gradle-plugin/issues/11. 
- `depsFregeTask`: only internal use for the vscode plugin to automate the
repl code lens.
- `replFregeTask`: simplified to only print the command to start the repl because
starting and interacting through a console is not gradle's core strength. See
https://github.com/tricktron/frege-gradle-plugin/issues/11.