On 09.10.2017 16:05, Markus Alexander Kuppe wrote:
Hi,Hi, 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. Thanks Markus
the new 1.5.4 Toolbox bundles the book "Specifying Systems", the "PlusCal Manual" paper, the "The TLA+ cheat sheet" and finally the "The Operators of TLA+". All documents are accessible via the "Help" menu. However, the "The Operators of TLA+" paper is obsolete.
Please ignore "The Operators of TLA+" paper until removed in the next Toolbox release.