Re: [tlaplus] TLA tools

[Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>]

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
[1].


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

Thanks
Markus

[1]
https://tla.msr-inria.inria.fr/tlatoolbox/ci/products/TLAToolbox-1.5.7-macosx.cocoa.x86_64.zip