On 18.04.2015 13:25, Dr. Tianxiang Lu wrote:
> is there any alternative download link for getting the stable versions?
>
Hi,
the official download location is back online [1]. A mirror [2]
(including tlaps [3]) is available too now. Both have the stable Toolbox
version.
Markus
[1] http://tla.msr-inria.inria.fr/tlatoolbox/products/
[2] https://bugzilla.tlaplus.net/tlatoolbox/
[3] https://bugzilla.tlaplus.net/tlaps/