Re: [tlaplus] Download link of TLA+ tools is not valid.

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

On 25.06.2015 05:20, Jian Wen wrote:
>  -- DOWNLOAD THE TLA+ TOOLS --
> <https://tla.msr-inria.inria.fr/tlatoolbox/dist/>
> Please fix the above link. It's
> on http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html#downloading
> 
> I got the following error.
> You don't have permission to access /tlatoolbox/dist/ on this server.

Hi,

thanks for the info. The permissions have been corrected.
https://tla.msr-inria.inria.fr/tlatoolbox/dist/ has the TLA+ tools again.

Markus