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

[TLA Plus <tlapl...@xxxxxxxxx>]

It appears that this link is no longer active.  We will post the new link as soon as possible--hopefully, tomorrow (Tuesday UT).

 

Leslie

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

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

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