[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:
> is there any alternative download link for getting the stable versions?


the official download location is back online [1]. A mirror [2]
(including tlaps [3]) is available too now. Both have the stable Toolbox


[1] http://tla.msr-inria.inria.fr/tlatoolbox/products/
[2] https://bugzilla.tlaplus.net/tlatoolbox/
[3] https://bugzilla.tlaplus.net/tlaps/