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

Re: [tlaplus] Re: Version 1.4.6: Open Source Release of TLA+ Tools

It appears that this link is no longer active.  We will post the new link as soon as possible--hopefully, tomorrow (Tuesday UT).
On Mon, May 6, 2013 at 3:23 AM, Mykhailo <ljubich....@xxxxxxxxxxxxxx> wrote:
Could it be the case that the link (http://msr-inria.inria.fr/~doligez/tlaps/) to the tla proof system is currently inactive?

(It is provided in the downloading section, 2nd link below.)


On Thursday, April 18, 2013 8:07:33 PM UTC+2, Leslie Lamport wrote:

With the release of version 1.4.6, the TLA+ Toolbox and the TLA+ Tools have
become an open source project.  The source code is available as the CodePlex
tlaplus project at


The executables are available via new links on these web pages:

   Toolbox: http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#downloading
   Stand-alone tools:  http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html#downloading
The source and the executables are now distributed under the MIT License.

Now that it is an open source project, anyone can contribute code.  Contact us if
you're interested in doing that.


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 http://groups.google.com/group/tlaplus?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.