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

Re: [tlaplus] Re: TLA Toolbox: installation problem



On 16.06.2017 20:42, inner...@xxxxxxxxx wrote:
In the end I imagine I could have just installed the JDK from the start and all would have been fine. I was hoping to *not* have to install ~500MB of Java tools to run the app, but that's what it took.

Hi Tim,

if disk space is an issue, you should know that the Toolbox runs with the JRE [1]. Compared to the JDK, the JRE is smaller in size.

Cheers

Markus

[1] http://www.oracle.com/technetwork/java/javase/downloads/jre8-downloads-2133155.html