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

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

Hi again,

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
> functionality.

Hi Chuck,

the implementation of HeapSort has been removed [1]. You can download
new builds of TLC and the Toolbox from [2]. Omitting the file would
indeed break the pretty-printer (TeX).


[2] https://nightly.tlapl.us

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.