TLA+ Toolbox 1.5.3 release

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

Hi,

a new TLA+ Toolbox 1.5.3 release has been made available [1][2][3]. This
release fixes several bugs, contains performance improvements and
introduces new features. See the change log [4] for a description of
changes or check the noteworthy commits for a more technical perspective
[5].

A 1.5.2 Toolbox will automatically ask to update to 1.5.3 upon its next
startup.

Thanks
Markus

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

[4] http://lamport.azurewebsites.net/tla/toolbox.html
[5]
https://github.com/search?&q=repo:tlaplus/tlaplus+merge:false+changelog&type=Commits&ref=searchresults