[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Problemas with toolbox release 1.5.5


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!


Pedro Yuri Arbs Paiva
Engenheiro Eletrônico
Instituto Tecnológico de Aeronáutica (T-16)
(+55) 12 98106-4129