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

[jcmu...@xxxxxxxxxxxxxx]

On Thursday, June 25, 2015 at 2:02:00 AM UTC-4, Markus Alexander Kuppe wrote:
> 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

The link is once again not working.