[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: which tla+ ide to get started?


I'm in the similar situation just starting with TLA+. I installed TLA+ Toolbox, TLA+ VS Code Plugin and the Intellij IDEA plugin. So far I found Intellij IDEA plugin to be the most convenient tool for writing, while I use TLA+ Toolbox to print in "nice" format, it is also easier in TLA+ Toolbox to set some options that otherwise require some manual modification of *.cfg file, which might take some time to figure out.

Hope this helps a little bit,

On Saturday, June 1, 2024 at 9:34:48 AM UTC-7 Prashant Deva wrote:
hi folks.
i am new to tla+ and just trying to get started.

i notice there is the tla+ toolbox and the tla+ vscode plugin. Which is the recommended option?

I notice the vscode plugin was last updated on 21st March, 2021.
The  toolbox was last released on Feb 22, 2022.

Has development on these essentially halted at this point?


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/63939e0a-9c6c-4312-9cd3-7d8b357b5dean%40googlegroups.com.