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

Re: [tlaplus] MIT license?

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Mon, 29 Jan 2018 21:04:15 +0100
References: <fa37072c-e8e3-4684-b12b-7b18b951e68a@googlegroups.com>

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.

Thanks

Markus

References:
- MIT license?
  - From: Michael Collins

Prev by Date: MIT license?
Next by Date: Verification of Temporal Property
Previous by thread: MIT license?
Next by thread: Verification of Temporal Property
Index(es):
- Date
- Thread