[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

Hi Stephan and Markus,

thank you for your support! 
Now I can download them accordingly. 

Best regards,

Am Samstag, 18. April 2015 23:11:43 UTC+2 schrieb Markus Alexander Kuppe:
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/