[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Broken link for TLAPS for MacOS
The correct link is
I'll see that it gets changed on the website too.
On 10/03/2017 05:54 AM, Kapil Agarwal wrote:
> The link to download the TLA+ proof system seems to be broken
> at http://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries/MacOS.html
> Please share with me the correct download link.
> You received this message because you are subscribed to the Google
> Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to tlaplus+u...@xxxxxxxxxxxxxxxx
> To post to this group, send email to tla...@xxxxxxxxxxxxxxxx
> Visit this group at https://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.