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

Installing TLA+ Toolbox 1.5.2 on MacOS

From: Murali Kaundinya <murali.k...@xxxxxxxxx>
Date: Thu, 12 Jan 2017 13:33:34 -0800 (PST)

Hi there!

Can someone update this website http://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries/MacOS.html with the installation of TLA+ Proof System Toolbox 1.5.2 ?

Launching toolbox from any other user directory gives all kinds of errors - previously documented.

Thanks in advance,

Murali

Follow-Ups:
- Re: [tlaplus] Installing TLA+ Toolbox 1.5.2 on MacOS
  - From: Stephan Merz

Prev by Date: Re: Is TLA+ still useful if your implementation language is a purely functional one, like Haskell?
Next by Date: Re: [tlaplus] Installing TLA+ Toolbox 1.5.2 on MacOS
Previous by thread: Re: [tlaplus] Re: Is TLA+ still useful if your implementation language is a purely functional one, like Haskell?
Next by thread: Re: [tlaplus] Installing TLA+ Toolbox 1.5.2 on MacOS
Index(es):
- Date
- Thread