[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Source file with non-commercial license
Hi again Markus and Stephan,
Thanks for the link to the nightly builds. I would like to ask if you know when this change might make it into an "official" release (I put that in quotes as I am not familiar with the TLA+ release approach, rhythms, etc.)
I think we might need to look to the next release for various traceability reasons.
On Wednesday, November 18, 2020 at 1:25:16 AM UTC-5 Chuck Lutz wrote:
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/d5f9cd1e-9945-4c0a-808f-646e54697c54n%40googlegroups.com.