Problemas with toolbox release 1.5.5

[Pedro Paiva <pedr...@xxxxxxxxx>]

Hi,

I've just downloaded the new release from TLA toolbox (1.5.5) for Mac, but it can't run on my computer (Mac OS high Sierra). A message is prompted: "TLA+ Toolbox is damaged and can’t be opened". I downloaded it from https://github.com/tlaplus/tlaplus/releases/tag/v1.5.5. Is someone else facing this problem? Thanks!

Regards,

--

Pedro Yuri Arbs Paiva

Engenheiro Eletrônico

Instituto Tecnológico de Aeronáutica (T-16)

(+55) 12 98106-4129