[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

From: phi...@xxxxxxx
Date: Sat, 3 Nov 2018 02:36:43 -0700 (PDT)

Hello,
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.

Philippe

Follow-Ups:
- Re: Translate PlusCal Algorithm menu item doesn't work in TLA+1.5.7 on MacOSX 10.13.6
  - From: dmitry . n . . .
- Re: [tlaplus] Translate PlusCal Algorithm menu item doesn't work in TLA+1.5.7 on MacOSX 10.13.6
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] How to watch the variables of the instantiated module in error trace caused by a wrong refinement mapping?
Next by Date: Re: [tlaplus] Translate PlusCal Algorithm menu item doesn't work in TLA+1.5.7 on MacOSX 10.13.6
Previous by thread: Re: [tlaplus] How to watch the variables of the instantiated module in error trace caused by a wrong refinement mapping?
Next by thread: Re: [tlaplus] Translate PlusCal Algorithm menu item doesn't work in TLA+1.5.7 on MacOSX 10.13.6
Index(es):
- Date
- Thread