[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
TLA+ Toolbox 1.5.4 release
a new TLA+ Toolbox 1.5.4 release has been made available . Note
that 32-bit versions of the Toolbox are only available from . We
strongly advise users of 64-bit computers not to use a 32-bit version.
As always, this release fixes several bugs, contains performance
improvements and introduces new features. See the change log  for a
description of high-level changes or check the noteworthy commits for a
more technical perspective .
A 1.5.3 Toolbox will automatically ask to update to 1.5.4 upon its next
startup and run a workspace migration. Users who prefer to start fresh
and install a 1.5.4 zip file can move or copy their existing
workspace/.metadata directory out of the 1.5.3 installation to
~/.tlaplus/.metadata in their HOME directory to preserve Toolbox
preferences and the list of specifications.