Age | Commit message (Expand) | Author |
---|---|---|
2019-03-31 | Re-use compilation tasks | George Fraser |
2019-02-18 | Revert changes to trailing whitespace | Leigh McCulloch |
2019-02-18 | Error if java binary doesn't exist | Leigh McCulloch |
2019-02-18 | Change to just check java version | Leigh McCulloch |
2019-02-18 | Use the java home set earlier as the real java home | Leigh McCulloch |
2019-02-18 | Make existing scripts work with linux | Leigh McCulloch |
2019-02-18 | Add a script for linking for debian | Leigh McCulloch |
2019-01-19 | Use test wrapper to set JAVA_HOME | George Fraser |
2019-01-03 | Prune reference and definition searches | George Fraser |
2018-12-29 | Shared buffer | George Fraser |
2018-12-29 | Benchmark string search approaches | George Fraser |
2018-12-28 | Build for windows | George Fraser |
2018-12-28 | Use jlink to build self-contained distribution | George Fraser |
2018-12-15 | Optimization | George Fraser |
2018-12-14 | +x | George Fraser |
2018-12-14 | Dedup | George Fraser |
2018-12-14 | Run JUnit manually | George Fraser |
2018-12-14 | Update modules for java 11 | George Fraser |
2018-09-30 | Format | George Fraser |
2018-09-29 | Robustnesss | George Fraser |
2018-09-19 | jlink script | George Fraser |
2018-09-16 | Revive externalDependencies and classPath | George Fraser |
2018-09-15 | Merge branch 'presentation_compiler' | George Fraser |
2018-09-10 | v0.1.2 | George Fraser |
2018-09-10 | Build and test scripts | George Fraser |
2018-06-24 | Fiddle with build | George Fraser |
2018-05-21 | Change to width 120 | George Fraser |
2017-12-05 | Shebang line in install.sh | Johannes Wienke |
2017-07-22 | Manual formatting command | George Fraser |
2017-04-21 | Fix script | George Fraser |
2017-04-09 | Always needs to be installed manually now | George Fraser |
2017-04-02 | Explanation | George Fraser |
2017-03-18 | Update all versions, log output | George Fraser |
2016-05-28 | Cleanup | George Fraser |
2016-05-22 | Fix install | Georgie |
2016-03-28 | Better installer | Georgie |
2016-03-20 | Output out/fat-jar.jar directly | Georgie |
2016-03-20 | Use fat-jar instead of installed maven | Georgie |
2016-03-20 | Better installs cript | Georgie |
2016-03-19 | Installs plugin locally | Georgie |