Age | Commit message (Collapse) | Author |
|
|
|
|
|
portal.
Upgrade to frege version 3.23,
|
|
|
|
|
|
|
|
|
|
because of signing issues.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
on sonatype or maven central
|
|
|
|
|
|
|
|
Conflicts:
src/main/groovy/frege/gradle/FregePlugin.groovy
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|