v0.3.0

• Operator definitions with conjunction/disjunction list bodies now break after ==, improving VS Code code folding.

What's Changed

• build(deps): bump the all-actions group with 5 updates by @dependabot[bot] in #17
• Change default operator definition style to break after == by @FedericoPonzi in #21

Full Changelog: v0.2.1...v0.3.0

v0.2.1

Full Changelog: v0.2.0...v0.2.1

v0.2.0

What's Changed

• build(deps): bump the all-actions group with 5 updates by @dependabot[bot] in #15

New Contributors

• @dependabot[bot] made their first contribution in #15

Full Changelog: v0.1.0...v0.2.0

v0.1.0

Initial formatter rework. Uses prettier4j to format the TLA+ code.

Full Changelog: https://github.com/FedericoPonzi/tlaplus-formatter/commits/v0.1.0