New TLA+ Tools & Toolbox releases

[Markus Kuppe]

Hi,

new releases of the Toolbox and the Tools (TLC, SANY, ...) have been
made available [1][2]. The releases introduce new features, contain
performance improvements, and fix several bugs. Please see the change
log [1][3] for a detailed description of all changes.

Thanks
Markus

[1] https://github.com/tlaplus/tlaplus/releases/tag/v1.6.0
[2] https://tla.msr-inria.inria.fr/tlatoolbox/products/
[3] https://tla.msr-inria.inria.fr/tlatoolbox/changelog.html