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

Re: [tlaplus] TLA Toolbox: installation problem

On 04.05.2016 09:26, Tianxiang Lu wrote:
> a new student has met a problem with installing the toolbox.
> An error has occurred. See the log file 1460971569881.log
> *         java environment**:**java 6 **(**java for osx 2015-001**)*
>         system vision:OS X 10.11.4 (15E65)
> Can anyone please help? 

Hi Ti,

the student has to install a newer Java (JRE). The Toolbox's minimum
requirement is Java 1.7. However, I suggest to install Java 1.8 [1] instead.