Releases: ocadaruma/tlaplus-intellij-plugin
Releases · ocadaruma/tlaplus-intellij-plugin
0.9.7
Summary
- Support Intellij platform 2025.1 #43
0.9.6
Summary
- Support Intellij platform 2024.2 #42
0.9.5
Summary
- Address deprecated APIs fixes #40 (#41)
0.9.4
Summary
- Support Intellij platform 2024.2 #39
0.9.3
Summary
- Support Intellij platform 2024.1 #37
0.9.2
Summary
- fix junction parsing logic fixes #35
0.9.1
Summary
- Support Intellij IDEA 2023.2
0.9.0
Summary
- Support Intellij IDEA 2023.1
0.8.0
Summary
- JVM options and additional TLC arguments are now configurable
