Download link of TLA+ tools is not valid.

41 views
Skip to first unread message

Jian Wen

unread,
Jun 24, 2015, 11:20:23 PM6/24/15
to tla...@googlegroups.com

I got the following error.
You don't have permission to access /tlatoolbox/dist/ on this server.

Markus Alexander Kuppe

unread,
Jun 25, 2015, 2:02:00 AM6/25/15
to tla...@googlegroups.com
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

jcmu...@jeffmurphy.org

unread,
Sep 29, 2015, 9:56:47 AM9/29/15
to tlaplus
The link is once again not working.

Stephan Merz

unread,
Sep 29, 2015, 9:58:50 AM9/29/15
to tlaplus, jcmu...@jeffmurphy.org
The host machine is currently experiencing some OS issues, we hope that it will be back up soon.

A mirror is available at https://tlaplus.codeplex.com.

Apologies for the inconvenience,
Stephan

Reply all
Reply to author
Forward
0 new messages