Re: [tlaplus] Installation on Ubuntu 22.04

[Michail Bogdanos <m.mpogdanos@xxxxxxxxx>]

Yep, my bad. Was looking at the wrong archive.

Thank you!

On Monday, 5 June 2023 at 16:27:40 UTC+3 Stephan Merz wrote:

I think this is where you want to look: https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1#latest-tla-files

Stephan

On 5 Jun 2023, at 15:01, Michail Bogdanos <m.mpo...@xxxxxxxxx> wrote:

Hello!

I am struggling with installation on Ubuntu 22.04. Can't find any "toolbox" executable neither in 1.7.1 nor in 1.7.3 archives from Github.

How do I install and run it?

--
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+u...@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/e9db336e-1cc7-418f-8752-18956c325dafn%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/7ece34c4-18a1-46f3-918a-ffcc17164c9en%40googlegroups.com.