What's Changed

• Fix GitHub Action by @aaronbembenek in #26
• Fix bug in bound variables check; add regression tests by @ulrikrasmussen in #25
• Possibly an optimization of concurrent fact indexer by @ulrikrasmussen in #27
• Tweaks for v0.7.2 by @aaronbembenek in #29
• Update release script. by @aaronbembenek in #30

New Contributors

• @ulrikrasmussen made their first contribution in #25

Full Changelog: v0.7.1...v0.7.2

What's Changed

• Fix release script by @aaronbembenek in #22
• Release on Maven Central by @aaronbembenek in #24

Full Changelog: v0.7.0...v0.7.1

What's Changed

• Add overtype closing parenthesis feature by @tmoux in #9
• Enable word wrap in results panel by @tmoux in #10
• Fix bug with DatalogParallelExecutor and true atom. by @aaronbembenek in #15
• Refactor unit tests by @tmoux in #16
• Run tests in CI by @aaronbembenek in #17
• Clean up tests by @aaronbembenek in #18
• UI improvements by @aaronbembenek in #19
• Apply Google Java Style by @aaronbembenek in #20

New Contributors

• @tmoux made their first contribution in #9

Full Changelog: v0.6.0...v0.7.0

What's Changed

• Changed look and feel to FlatLaF by @MarioFares in #3
• View Menu & Text Zoom by @MarioFares in #5
• Edit Menu, Undo & Redo, and Some Cleanup & Abstraction by @MarioFares in #6
• TextEditor Class and Line Functionality by @MarioFares in #7

New Contributors

• @MarioFares made their first contribution in #3

Full Changelog: v0.5.0...v0.6.0

• Initial GitHub release
• Update package names
• Other small tweaks with respect to previous release