the final 1.5.0 TLA+ Toolbox release has been made available today .
The 1.4.8 will automatically ask to update to 1.5.0 upon the next Toolbox startup (the release candidate will *not* update automatically. Please delete the release candidate manually and install the final one afterwards).
See the list of changes  for details on the seven bugfixes since the release candidate.
On 03.05.2015 18:22, Markus Alexander Kuppe wrote: