Re: [tlaplus] Re: Resolved: TLA toolbox crash/segfault complaining of libsoup on Linux

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 18.04.2015 13:25, Dr. Tianxiang Lu wrote:
> the toolbox download page doesn't work. 
> https://tla.msr-inria.inria.fr/tlatoolbox/products/
> 
> is there any alternative download link for getting the stable versions?

Hi Ti,

we don't have a download location for the stable version available right
now. For the record though, the current beta version can be download
from [1]. Our plan is to release it soon.

HTH
Markus

[1] https://bugzilla.tlaplus.net/tlatoolbox/