Re: [tlaplus] TLA Toolbox: installation problem

[Stephan Merz <stepha...@xxxxxxxxx>]

Dear Tianxiang,

Java 6 is outdated, please upgrade to Java 7 or 8. You may have to activate the new version as the default, e.g. http://stackoverflow.com/questions/21964709/how-to-set-or-change-the-default-java-jdk-version-on-os-x.

Hope this helps,

Stephan

On 04 May 2016, at 09:26, Tianxiang Lu <tianx...@xxxxxxxxx> wrote:

Dear all,

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? 

Best regards,

Ti

--

Dr. Tianxiang Lu

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.
<tla error.png><1460971569881.log>