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

Re: [tlaplus] TLA tools

On 16.11.18 08:13, Michel Charpentier wrote:
> Command-line tools work with Java 11 using the build you pointed to.  As
> for the toolbox, I edited the Info.plist to use Java 10 (it won't start
> at all on Java 11).

Hi Michel,

you might also want to give the nightly Toolbox build a try with Java 11

In the long run we want to bundle the Java VM with the Toolbox
installation to avoid future version mismatches.