Setting up the development environment
For eclipse, you can follow directions here: https://github.com/tlaplus/tlaplus/tree/master/general/ide
For intellij, if you plan to contribute to tlc, it's fine to just open the related package from there.
For eclipse, you can follow directions here: https://github.com/tlaplus/tlaplus/tree/master/general/ide
For intellij, if you plan to contribute to tlc, it's fine to just open the related package from there.