Re: [tlaplus] Source file with non-commercial license

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

Hi again Marcus and Stephan,

Yes, correct - the HeapSort was specifically the problem.

As I was not too specific before :-), here is the main bit:

"HeapSortAlgorithm.java 1.0 95/06/23 Jason Harrison
Copyright (c) 1995 University of British Columbia"

Would omitting only this file disable TLC or anything vital? It seemed that this is perhaps part of a layout algorithm for translating to TeX, so I assumed that would be a "nice to have" vs. part of the core functionality.

Regards,

Chuck Lutz

On Monday, November 16, 2020 at 1:23:18 PM UTC-5 Markus Alexander Kuppe wrote:

On 16.11.20 09:01, Stephan Merz wrote:
> I believe that the part that Chuck refers to is the copyright inherited from UBC for HeapSort, even if this algorithm is commonplace.


Thanks, Stephan! Shouldn't be a big deal to replace this
sort-implementation with one from the JDK:
https://github.com/tlaplus/tlaplus/issues/539

M.

-- 
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/0f367e98-2647-420b-86a4-92f2ea4f553bn%40googlegroups.com.