summaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Collapse)Author
2019-01-03Prune reference and definition searchesGeorge Fraser
2018-12-29Shared bufferGeorge Fraser
2018-12-29Benchmark string search approachesGeorge Fraser
2018-12-28Build for windowsGeorge Fraser
2018-12-28Use jlink to build self-contained distributionGeorge Fraser
2018-12-15OptimizationGeorge Fraser
2018-12-14+xGeorge Fraser
2018-12-14DedupGeorge Fraser
2018-12-14Run JUnit manuallyGeorge Fraser
2018-12-14Update modules for java 11George Fraser
2018-09-30FormatGeorge Fraser
2018-09-29RobustnesssGeorge Fraser
2018-09-19jlink scriptGeorge Fraser
2018-09-16Revive externalDependencies and classPathGeorge Fraser
2018-09-15Merge branch 'presentation_compiler'George Fraser
2018-09-10v0.1.2George Fraser
2018-09-10Build and test scriptsGeorge Fraser
2018-06-24Fiddle with buildGeorge Fraser
2018-05-21Change to width 120George Fraser
2017-12-05Shebang line in install.shJohannes Wienke
The README states that this file is directly executable. But it is not without this line.
2017-07-22Manual formatting commandGeorge Fraser
2017-04-21Fix scriptGeorge Fraser
2017-04-09Always needs to be installed manually nowGeorge Fraser
2017-04-02ExplanationGeorge Fraser
2017-03-18Update all versions, log outputGeorge Fraser
2016-05-28CleanupGeorge Fraser
2016-05-22Fix installGeorgie
2016-03-28Better installerGeorgie
2016-03-20Output out/fat-jar.jar directlyGeorgie
2016-03-20Use fat-jar instead of installed mavenGeorgie
2016-03-20Better installs criptGeorgie
2016-03-19Installs plugin locallyGeorgie