aboutsummaryrefslogtreecommitdiff
path: root/README.md
AgeCommit message (Expand)Author
2021-11-24feat: adds `replFrege` taskf-repl-taskThibault Gagnaux
2021-11-24chore: updates readmeThibault Gagnaux
2021-11-17feat: Adds incremental build and build cache support for the `fregeCompile` taskThibault Gagnaux
2021-11-16feat: adds `compilerFlags` property to configure the Frege compilerThibault Gagnaux
2021-11-10chore: updates junit 5.7.2 -> 5.8.1, README and versionThibault Gagnaux
2021-07-20chore: adds readmedevelopThibault Gagnaux
2015-02-15remove redundant readme.md as readme.adoc is used anywayDierk Koenig
2015-02-15minor change in readme to show local installationDierk Koenig
2015-02-15Test for updating readme for push accessMark Perry
2015-02-14Create README.mdIngo Wechsung