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

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

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.


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