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

Translate PlusCal Algorithm menu item doesn't work in TLA+1.5.7 on MacOSX 10.13.6

I've just downloaded TLA+ 1.5.7 and created the first module called 'wire' in the Practical TLA+ book, on MacOSX 10.13.6. When I select the File -> Translate PlusCal Algorithm, nothing happens. Furthermore, the Console doesn't contain any information.
Has anyone encountered this issue before?
Many thanks.