Re: Version 1.4.6: Open Source Release of TLA+ Tools

[Mykhailo <ljubich....@xxxxxxxxxxxxxx>]

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.)

Thanks
ML

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

    http://tlaplus.codeplex.com/

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.

Leslie