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

Re: [tlaplus] Most recent JRE version compatible with TLA+ Toolbox?

Hi Paolo,

the TLA+ Toolbox bundles its own JVM, which - as of today - is Java 14.  The Toolbox and TLC also run fine on newer releases such as Java 18.


> On May 31, 2022, at 4:33 AM, Paolo Garroni <pfgrrn@xxxxxxxxx> wrote:
> The TLA Toolbox reportedly runs on Java 1.8, but security concerns suggest more recent versions (say, Java 17 or higher). Anyone confirm what mix would work fine?

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/4598CA9E-1BFD-4F5F-8D49-333E2F03AEC6%40lemmster.de.