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

[tlaplus] Source file with non-commercial license

Hi folks,

I'm looking to possibly use TLA+ at work, but our legal folks have pointed out that the following file includes a license that restricts non-commercial use:


Is this file vital to the use of TLA+? They want to remove it from what would be our internally-approved distribution of the .tgz / .zip from GitHub.

It seems like it would affect the pretty-printing.

Thanks in advance for any information,
Chuck Lutz

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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6b0acba5-a87a-4cd8-9878-23e9a5f4bd12n%40googlegroups.com.