summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
PluginPortalre-apply maven plugin to allow local installation with `gradlew install`Dierk Koenig9 years
SourceSetbacking up latest work. not tested.Dierk Koenig9 years
SourceSet3Almost finished source setsMark Perry9 years
developchore: adds readmeThibault Gagnaux4 years
f-debug-windows-failureWIPThibault Gagnaux3 years
f-minimal-frege-replrefactor: finishes the runFregeTask refctoringThibault Gagnaux3 years
f-repl-taskfeat: adds `replFrege` taskThibault Gagnaux3 years
f-simple-javaExec-task-alternativechore: adds `maven-publish` plugin to publish to `mavenLocal` repoThibault Gagnaux4 years
feature/intellij-newInteract better with gradle java pluginnea3 years
internal-compilationAdded what little help on native gen is availableMark Perry9 years
masterAdd support for the frege-intellij pluginnea3 years
sonatypeGet compilation working with few dependencies, using travis on java 7Mark Perry10 years
source-path-experimentAdded src build classes to classpath for frege test taskMark Perry9 years
generated by cgit (git 2.46.0) at 2025-02-05 18:56:55 +0000