[tlaplus] Source file with non-commercial license

[Chuck Lutz <charles.d.lutz@xxxxxxxxx>]

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:

https://github.com/tlaplus/tlaplus/blob/master/tlatools/org.lamport.tlatools/src/tla2tex/PosAndCol.java

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.