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

Re: [tlaplus] TLA Toolbox: installation problem

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,

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 environmentjava 6 java for osx 2015-001

        system vision OS X 10.11.4 (15E65)

Can anyone please help? 

Best regards,


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>