You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tla...@googlegroups.com
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.