[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Source file with non-commercial license
Wow, thanks very much for the quick update!
On Tuesday, November 17, 2020 at 11:14:43 AM UTC-5 Markus Alexander Kuppe wrote:
On 17.11.20 07:27, Chuck Lutz wrote:
> 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
the implementation of HeapSort has been removed . You can download
new builds of TLC and the Toolbox from . Omitting the file would
indeed break the pretty-printer (TeX).
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/5b699397-8e5c-4416-ac6f-f0471094625fn%40googlegroups.com.