TLA+ Toolbox 1.7.1 maintenance release

[Markus Kuppe]

Hi,

the 1.7.1 TLA+ Toolbox & Tools release has been made available [1][2],
which is a maintenance release that addresses several bugs. Please check
the changelog [1] for details.

You can skip 1.7.1 if you've already upgraded to a nightly build
(version 1.8.0) since the 1.7.0 release in April.

Thanks
Markus

[1] https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1
[2] http://dl.tlapl.us/tlatoolbox/products/