[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Download link of TLA+ tools is not valid.
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.
> thanks for the info. The permissions have been corrected.
> https://tla.msr-inria.inria.fr/tlatoolbox/dist/ has the TLA+ tools again.
The link is once again not working.