search

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.
Apache License 2.0
52 stars 2 forks source link

TLC config support #4

Closed ocadaruma closed 3 years ago

ocadaruma commented 3 years ago

implemented basic support