On 2009-06-16, Miriam Ruiz <[email protected]> wrote: > 2009/6/16 Martin Quinson <[email protected]>: >> Hello, >> >> I am considering packaging the TLA software suite, which is available >> from >> http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html >> >> I am however not sure about the license (in attachement). It seems quite >> non-free to me, but I may be wrong, so I'm asking for your advice on >> this. > > The code licensed as the "1)" part of the license is only allowed for > "research, teaching purposes, or internal use", isn't it?
I agree that this is a non-free clause. > There is also the part "That you will not use the Software in a live > operating environment where it may be relied upon to perform in the > same manner as a commercially released product, or with data that has > not been sufficiently backed up." I read this as a "don't blame us if it eats your puppy" clause, which I think is fully acceptable. /Sune -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
