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

TLA+ Toolbox installation problem

I downloaded the zip file of the toolbox and extracted all files from it including the toolbox.exe file but when I am trying to run the .exe file for the toolbox I'm just getting this screen and not the installation process window from where I can complete the installation. Can someone please help me out?

Also, this is the java version that I have installed on my PC.