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