Differences

This shows you the differences between two versions of the page.

--- codebase:devenv [2024/09/28 15:58] – created - external edit 127.0.0.1
+++ codebase:devenv [2024/09/28 22:55] (current) – fponzi
@@ Line 1: / Line 1: @@
 ====== Setting up the development environment ======
-For eclipse, you can follow directions here: https:%%//%%github.com/tlaplus/tlaplus/tree/master/general/ide
+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 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.