Le mardi 16 juin 2009 à 09:57 +0200, Miriam Ruiz a écrit : > 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? > > 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." > > It's definitely non-free in my opinion.
Thanks for the confirmation. Mt. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
