Reference resolution and completion in TLC config - Githubissues

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.

Apache License 2.0

52 stars 2 forks source link

Reference resolution and completion in TLC config #14

Closed ocadaruma closed 2 years ago

ocadaruma commented 2 years ago

solved in 0.6.0