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

[Stephan Merz <stephan.merz@xxxxxxxxx>]

Both IDEs are used by the community. For VSCode, I think that most people use the "TLA+ Nightly" plugin, which is updated very frequently. The main advantage of the Toolbox is that it has an editor for creating config files (and in fact it generates specific TLA files used for model checking, which gives more flexibility than plain config files). Volunteers for maintaining the Toolbox would be greatly appreciated.

Stephan

On 1 Jun 2024, at 18:33, Prashant Deva <prashant.deva@xxxxxxxxx> 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?

Prashant

--
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/cf34f7f2-d9f8-45fe-8bab-76c0f5856faen%40googlegroups.com.

--
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/31EB27B7-0154-4EEA-AA53-45C054E76B74%40gmail.com.