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

Re: [tlaplus] MIT license?

On 29.01.2018 17:38, Michael Collins wrote:
> When updating the toolbox, I got a dialog box about a "Microsoft
> Research License Agreement" which looks very different from the MIT
> license. What does this mean? Since I am not working in an academic
> environment, I want to make sure to be careful about such things, thanks.

Hi Michael,

the update shows an outdated license. The Toolbox and the TLA+ tools are
MIT licensed. We will fix the incorrect license in a future release.