[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLA Toolbox: installation problem
- From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
- Date: Wed, 4 May 2016 09:37:29 +0200
- References: <CADSUOCTLPXkvcNhUJsRS=uE66EVCTCyd7rNYSJWPm2O_DSOqjg@mail.gmail.com>
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.2
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.
Cheers
Markus
[1]
http://www.oracle.com/technetwork/java/javase/downloads/jre8-downloads-2133155.html