Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== 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 relevant package from there. To build and run tests, you can use the cli. codebase/devenv.txt Last modified: 2024/09/28 22:55by fponzi
fponzi