[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
TLA+ Toolbox java exception
I have an error when I want to open a specification with TLA toolbox.
Toolbox version : 1.4.7
OS : Windows 7 professional SP 1 64bits
Java : version 7 (build 1.7.0_45-b18)
Specification : PlusCal.tla (or another. I want only to try the toolbox)
Hope it's complete.