[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Download link of TLA+ tools is not valid.



 -- DOWNLOAD THE TLA+ TOOLS --
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.