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

[Felipe Oliveira Carvalho <felipekde@xxxxxxxxx>]

What's preventing another release cut?

On Mon, Jun 3, 2024 at 5:06 PM Markus Kuppe
<tlaplus-google-group@xxxxxxxxxxx> wrote:
>
> The nightly builds of the Toolbox can be found at https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0#latest-tla-files
>
> Markus
>
> > On Jun 1, 2024, at 9:33 AM, Prashant Deva <prashant.deva@xxxxxxxxx> wrote:
> >
> > The  toolbox was last released on Feb 22, 2022.
>
>
> --
> 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/88399B7E-AD1D-430B-A614-CB8A616B8225%40lemmster.de.

-- 
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/CAOC8YXb45jq51gkBzkUurhJ2x_diO%3DG5XGGgSOObpvM0%2BdWybg%40mail.gmail.com.