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

Broken link for TLAPS for MacOS

From: Kapil Agarwal <kapi...@xxxxxxxxx>
Date: Mon, 2 Oct 2017 20:54:57 -0700 (PDT)

Hi

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.

Thanks

Kapil

Follow-Ups:
- Re: [tlaplus] Broken link for TLAPS for MacOS
  - From: Martin

Prev by Date: Re: [tlaplus] Failed to run TLA+ Toolbox 1.5.3 on Mac OS El Capitan
Next by Date: Failed to produce PDF using Toolbox 1.5.3
Previous by thread: Table of Contents in Specifying Systems PDF
Next by thread: Re: [tlaplus] Broken link for TLAPS for MacOS
Index(es):
- Date
- Thread