[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).
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.